[coreboot-gerrit] Patch set updated for coreboot: 3cd0f1d AMD Geode LX: add get_top_of_ram()