[coreboot] Patch merged into coreboot/master: 275fb63 Don't add another Kconfig special case for Tiano