For future reference: HP Drive Key Boot Utility (make a usb flash key bootable)