Is the default configuration of grub.cfg on the flash chip supposed to
automatically look for libreboot_grub? Because I change the 'Load Operating
System' menu entry on that file, according to the instructions on the
Libreboot website:
cryptomount -a
set root=‘lvm/grubcrypt-trisquel’
linux /vmlinuz root=/dev/mapper/grubcrypt-trisquel
cryptdevice=/dev/mapper/grubcrypt-trisquel:root
initrd /initrd.img
boot
That's the only thing different from the default configuration found on the
ROM images.
In order to get it to boot the newer kernel, I simply changed the vmlinuz and
initrd.img to the latest kernel version of those files, located in /boot, and
was able to sucessfully boot the new kernel.