Comment 16 for bug 1183692

Problem still persists in 15.04.

Also, it seems that the partition is simply too small. So this should be changed in the installation routine, too. I only have two kernel images there - the current one and the previous one. And I can't update because there is insufficient space.