[coreboot-gerrit] Patch set updated for coreboot: cpu: Add a way to use microcode .h files back to the build