[coreboot] New patch to review for coreboot: 11330db Don't add another Kconfig special case for Tiano