A new BIOS-update is available. Version 1.09 date June 10th, 2009. For all those missing the F12 function you'll get that working if enabled in the new BIOS.