[coreboot-gerrit] New patch to review for coreboot: Microcode: Show a useful warning when microcode bins are missing