On Sun, May 25, 2014 at 04:39:49AM +0200, Tristan Seligmann wrote: > I added "libcrc32c" to /etc/initramfs-tools/modules and reran > update-initramfs; this seems to have solved the problem. It worked for me too. I experienced the same problem.