Furious mashing. Does the f2 key actually work?
But yeah, stuff is starting to boot so fast that if they haven't already they probably need to put a jumper on the board that will send you directly to the bios menu do not pass go.
Edit: I thought there might even be a software utility...