[coreboot] Patch merged into coreboot/master: fd611f9 Drop CONFIG_WRITE_HIGH_TABLES