Hi, I've also contacted Coreboot and at some point someone on their mailing list took care of forwarding the bug to Google:
https://mail.coreboot.org/hyperkitty/list/coreb...@coreboot.org/thread/6JI7KTJ3QVK6Q5BLNWREX2IBVZP7GCLP/ So it might get fixed upstream at some point but it will probably take some time before that happens because firmware images need to be re-made without the nonfree software and signed with different keys. Denis.
pgpmK9rB1M0Xf.pgp
Description: OpenPGP digital signature
