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!