grub.cfg: snippet

menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-a1870c6a-a3b1-4d04-b65f-ee4e41b9c5b8' {
        recordfail
        load_video
        gfxmode $linux_gfx_mode
        insmod gzio
        insmod part_gpt
        insmod ext2
        set root='hd3,gpt1'
        if [ x$feature_platform_search_hint = xy ]; then
          search --no-floppy --fs-uuid --set=root --hint-bios=hd3,gpt1 --hint-efi=hd3,gpt1 --hint-baremetal=ahci3,gpt1  c53ef2f7-9688-4aea-9311-23c44a9ae82c
        else
          search --no-floppy --fs-uuid --set=root c53ef2f7-9688-4aea-9311-23c44a9ae82c
        fi
        linux   /vmlinuz-3.13.0-55-generic root=UUID=a1870c6a-a3b1-4d04-b65f-ee4e41b9c5b8 ro
        initrd  /initrd.img-3.13.0-55-generic
}