Re: [U-Boot] [PATCH 03/12] x86: Clean up coreboot_tables.h