Chris Marusich:
> Are you using a recent version of libreboot?  I'm using a recent
> development version (not the latest release as of now), and I do not
> have to rename the grub.cfg file to libreboot_grub.cfg.  It just works.
> 
No, I haven't reflashed yet. Maybe they'll make a stable release before
I try :-P I'll be away from the computer for a few weeks.
-- 
https://emailselfdefense.fsf.org
gpg --recv-key 'D7E9 5431 9C95 097F C314  C2A2 DD8C 15BD 0168 5E3A'