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