Yes, sorry about my comment! I missed that you were looking for the setting, I thought you meant it wasn't turning on for you automatically so I was telling you were the button was in case you weren't sure. Sorry about that!
Num Lock setting is in almost all BIOS, sometimes hidden and sometimes showing!