Chris Marusich:
> For what it's worth, I've confirmed this is fixed in the latest
> development version of Libreboot.  That was a few weeks ago.  So, if the
> latest release doesn't already contain the fix, you can update it
> yourself to get the fix.
> 
Thanks, I'll be sure to do that. I wasn't able to figure out how to
downgrade the kernel. I will post what I tried if anyone requests.
-- 
https://emailselfdefense.fsf.org
gpg --recv-key 'D7E9 5431 9C95 097F C314  C2A2 DD8C 15BD 0168 5E3A'