[coreboot-gerrit] Patch set updated for coreboot: 2970316 Move high_tables globals from arch