Patch set updated for coreboot: b39c4d9 f15tn/Include/OptionIdsInstall.h: Remove idle `… || )`