You can configure the state of the Number lock key by two ways:

  1. Tweaking Windows (in fact a security option while configurating the system with policies).
  2. On the BIOS.

You seem to use the first one. At boot time scanning, you should do the second :wink: