Patch merged into coreboot/master: 1cc4737 f15tn/Include/OptionIdsInstall.h: Remove idle `… || )`