Add header for pxe_boot()

src/arch/i386/include/pxe_call.h

@@ -0,0 +1,11 @@
+#ifndef _PXE_CALL_H
+#define _PXE_CALL_H
+
+/** @file
+ *
+ * PXE API entry point
+ */
+
+extern int pxe_boot ( void );
+
+#endif /* _PXE_CALL_H */

src/arch/i386/interface/pxe/pxe_call.c

@@ -20,6 +20,7 @@
 #include <registers.h>
 #include <biosint.h>
 #include <pxe.h>
+#include <pxe_call.h>
 
 /** @file
  *