@deadsuperhero @thartman: re-posting here from the other thread :
The coreinfo issue has been fixed, you’ll need to update coreboot. You can either wait until we finalize an easy way to push updates to people (either through a script/deb package with a pre-built image stripped of non-distributable components, or through a similar script distributed through fwupd), or you can simply build coreboot yourself on your machine. I’ve released a script to do that and you can read about it here : Building coreboot from source (official script)
2 Likes