diff --git a/src/arch/i386/interface/pxe/pxe_call.c b/src/arch/i386/interface/pxe/pxe_call.c
index 0d296993..df32dd7d 100644
--- a/src/arch/i386/interface/pxe/pxe_call.c
+++ b/src/arch/i386/interface/pxe/pxe_call.c
@@ -391,7 +391,9 @@ int pxe_boot ( void ) {
 					   "lcall $0, $0x7c00\n\t" )
 			       : "=a" ( rc ), "=b" ( discard_b ),
 			         "=c" ( discard_c )
-			       :  "a" ( &pxe ), "b" ( &pxenv ), "c" ( rm_cs )
+			       :  "a" ( & __from_text16 ( pxe ) ),
+			          "b" ( & __from_text16 ( pxenv ) ),
+			          "c" ( rm_cs )
 			       : "edx", "esi", "edi", "ebp", "memory" );
 
 	return rc;