The HP t5710 has a standard PC BIOS - hit F10 on power-up to get into the BIOS setup screen.
The boot options are:
With the USB option set it booted Linux distributions from a Pen Drive.
For BIOS version(s) see the BIOS versions page.
The standard firmware for t5710 is Windows XPe. Mine actually came with an installation of arch linux.