[coreboot] Patch set updated for coreboot: b23971d Revamp cbmem.py to use the coreboot tables.