Comment 9 for bug 1475941

I've installed kernel 3.19.0-25, and now it's not enough to remove the quiet option even in 3.19.0-22. I have to manually edit the grub menu entry at boot time (writing it on grub.cfg doesn't work) and replace the following lines:

                if [ x$feature_platform_search_hint = xy ]; then
                  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos7 --hint-efi=hd0,msdos7 --hint-baremetal=ahci0,msdos7 0e051a2e-be67-40a6-8d32-29d4de69aca1
                else
                  search --no-floppy --fs-uuid --set=root 0e051a2e-be67-40a6-8d32-29d4de69aca1
                fi

with this:

                  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos7 --hint-efi=hd0,msdos7 --hint-baremetal=ahci0,msdos7 0e051a2e-be67-40a6-8d32-29d4de69aca1

That is true also for the newest kernel – if I don't do that, I get the kernel panic message I described before.