Index: /trunk/src/VBox/Devices/PC/BIOS/print.c
===================================================================
--- /trunk/src/VBox/Devices/PC/BIOS/print.c	(revision 60560)
+++ /trunk/src/VBox/Devices/PC/BIOS/print.c	(revision 60561)
@@ -194,9 +194,9 @@
                 else if (c == 'l' && s[1] == 'l') {
                     uint64_t llval;
-                    uint16_t *cp16;
+                    uint16_t __far *cp16;
 
                     s += 2;
                     c = *s;
-                    cp16 = (uint16_t *)&llval;
+                    cp16 = (uint16_t __far *)&llval;
                     cp16[0] = arg;
                     cp16[1] = va_arg( args, uint16_t );