Comment 20 for bug 213754

Revision history for this message
Vide (vide80) wrote :

Yeah, I forgot to mention that. reboot=bios (reboot=b is just the same) still works around the problem.
I attach the dmidecode output as requested