yes it must be a bios problem. Hopefully ASUS will fix it. My system is still booting fine without having to reset the power supply each time after a shut down.
I had to disable the boot logo in order to get the computer to boot. I also set the dram freq manually to ddr1066. Seems like a weird solution but is working so far....