[U-Boot] [PATCH 27/39] x86: Tidy up coreboot header usage