[coreboot-gerrit] Patch merged into coreboot/master: 802a8ec rambi: Remove outdated comment