[coreboot] Patch merged into coreboot/master: dcec334 Fix compilation without CONFIG_WRITE_HIGH_TABLES.