[coreboot] Patch merged into coreboot/master: 8d33657 Revamp cbmem.py to use the coreboot tables.