[coreboot-gerrit] Patch set updated for coreboot: b1581cd CBMEM: Fail builds on missing get_top_of_ram()