Recovering the HP BIOS : http://tinyurl.com/2dmbeor