Just posting an update on this.
I followed the instructions of updating the BIOS, with the addition that I replaced master with main in the two occurences of pulling Flashrom from git in coreboot_util.sh.
Now the random OS’s I’ve been trying to install boot just fine.
Thanks @FranklyFlawless !
1 Like