Re: [Trisquel-users] The shorter and thorough guide to updating Libreboot on an X200

[mcz]

He didn't, he can't boot manually (cryptomount -a etc.). Specifically because  
of that vmlinuz thing.
To me this is not a Libreboot issue, but a problem with the way Trisquel was  
install (I didn't have that issue, personally).