[coreboot] Patch merged into coreboot/master: b3a77bf Cleanup coreboot memory table includes