Comment # 29 on bug 1006417 from Petr Matula

I'm trying it right now (old computer processor VIA CN700). 
And it's fixed. The computer is booting.