Comment 9 for bug 245779

I experienced the problem with my Asus p5b-deluxe with core 2 duo E6400. While browsing for a solution I found some hints that this problem requires a micro code update for your processor, provided by a BIOS update. I figured it couldn't hurt much, so I did.

I rebooted a few times and the problem did not occur, while previously one out of two times my pc wouldn't boot. Although I must admit it's weird that the problem started to occur after a kernel update.