Kernel: Minor improvements to prompting for boot device number, no
longer tries to parse junk left in the command line buffer at 0x0081.