[PATCH] Use BIOS Keyboard variable to set Numlock