[coreboot] Patch merged into coreboot/master: 41dd3db Intel e7505: provide get_top_of_ram