[coreboot] New patch to review for coreboot: c5c03ce Intel e7505: provide get_top_of_ram