[coreboot] [PATCH] HAVE_HIGH_TABLES