I think Paul is right, the correct behavior should be to only activate the NumLock on boot if there is a BIOS option for it and it is marked as Active NumLock on boot.
I think Paul is right, the correct behavior should be to only activate the NumLock on boot if there is a BIOS option for it and it is marked as Active NumLock on boot.