[coreboot-gerrit] Patch set updated for coreboot: cpu: microcode: Use microcode stored in binary format