UPDATE: This doesn’t work. See comments.
I’m lazy as hell so when I noticed that Windows 8 has the option to log on with a PIN instead of a password I started using it right away. Unfortunately by default Windows boots switches Numlock off. Switching it on in the BIOS doesn’t help. I found the solution here, updating this registry key:
The site then instructs to change the value from 0 to 2. Well in my case it was 2147483648 so I just added 2 and copied 2147483650 in there. And… that didn’t work. Strangely enough though, when I put the Hex value in there, 80000002, it does. So, in short:
HKEY_USERS\.DEFAULT\Control Panel\Keyboard\InitialKeyboardIndicators = 80000002
Does the trick.