[coreboot-gerrit] Patch merged into coreboot/master: 8a0cb8d cbfstool: check potential microcode update earlier