[coreboot-gerrit] New patch to review for coreboot: d378d1b Non-local header