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