Comment 4 for bug 477430

Ok, I've commented the line and it boots again! The error message "out of disk" is still displayed, but at least it boots.

I've also commented the line in the file /etc/grub.d/10_linux , because the file grub.cfg is generated.