Engage brain: since when was zero >= 0x80 ?

diff --git a/src/arch/i386/firmware/pcbios/bios_console.c b/src/arch/i386/firmware/pcbios/bios_console.c
index f6867edb87072625d1cd27d14d7a18456d8bc844..9ad0a72cc500d4af2aa6f7b6dc6d021386ef3622 100644 (file)
--- a/src/arch/i386/firmware/pcbios/bios_console.c
+++ b/src/arch/i386/firmware/pcbios/bios_console.c
@@ -249,7 +249,7 @@ static int bios_getchar ( void ) {
        character = ( keypress & 0xff );
 
        /* If it's a normal character, just return it */
-       if ( character < 0x80 )
+       if ( character && ( character < 0x80 ) )
                return character;
 
        /* Otherwise, check for a special key that we know about */