[coreboot-gerrit] Patch set updated for coreboot: bfb5a18 Change the linux payload generator to use the standard header generator