# can't receive any more keyboard interrupts afterwards. Reading from
# the keyboard data port (60h) once, seems to resolve this. And it's
# cheap enough, so why not... I give up.
# can't receive any more keyboard interrupts afterwards. Reading from
# the keyboard data port (60h) once, seems to resolve this. And it's
# cheap enough, so why not... I give up.