[coreboot] Please verify if disable CONFIG_WRITE_HIGH_TABLES is still needed