[coreboot] New patch to review for coreboot: f787076 HAVE_HIGH_TABLES is gone