Regarding Comment #6: I can confirm that changing the BIOS setting on numlock behavior from "independent" to "synchronized" does indeed solve the problem here.
Regarding Comment #6: I can confirm that changing the BIOS setting on numlock behavior from "independent" to "synchronized" does indeed solve the problem here.