I have an HP Pavilion 3100 that I need to change the bios settings but I can seem to find the right key to hit during boot. Anyone knows which key it is, I tried f1.