When I boot up trying to use F2 to access bios settings doesn't function, it just continues to boot up into Linux. I am certain I do it quickly enough and F12 does function fine. Any ideas?