diff --git a/hal/halx86/generic/x86bios.c b/hal/halx86/generic/x86bios.c
index 66f4dcb5015..8edccda7cda 100644
--- a/hal/halx86/generic/x86bios.c
+++ b/hal/halx86/generic/x86bios.c
@@ -502,22 +502,19 @@ HalpBiosDisplayReset(VOID)
 #if 0
     X86_BIOS_REGISTERS Registers;
     ULONG OldEflags;
+    BOOLEAN Success;
 
     /* Save flags and disable interrupts */
     OldEflags = __readeflags();
     _disable();
 
-    /* Set AH = 0 (Set video mode), AL = 0x12 (640x480x16 vga) */
-    Registers.Eax = 0x12;
-
-    /* Call INT 0x10 */
-    x86BiosCall(0x10, &Registers);
-
-    // FIXME: check result
+    /* Call INT 0x10, AH = 0 (Set video mode), AL = 0x12 (640x480x16 VGA) */
+    Registers.Eax = 0x0012;
+    Success = x86BiosCall(0x10, &Registers);
 
     /* Restore previous flags */
     __writeeflags(OldEflags);
-    return TRUE;
+    return Success;
 #else
     /* This x64 HAL does NOT currently handle display reset (TODO) */
     return FALSE;