The HP T5530 has a standard Phoenix AwardBIOS - 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 and a CDROM.
Any comments? email me. Last update June 2010