Fix a tiny typo in the missing BIOS message.