[coreboot-gerrit] Patch set updated for coreboot: wrdd: Export WRDD info in the header