[coreboot-gerrit] Patch set updated for coreboot: bae7405 CBMEM: Rename high_tables variables and make them static