Re: [PATCH] Use BIOS Keyboard variable to set Numlock