Comment 55 for bug 403408

I had a working system with the fix in post #10. Then after running updates today, (including a grub update that removed the fix) it failed with "Out of Disk" and the fix in post 10 did not help. Also no access to grub menu. I am trying a reinstall with a 10GB /boot partition. Perhaps the "fix" is to check for this possibility at install. Setting up a boot partition is non-trivial for the new linux user.