[coreboot-gerrit] New patch to review for coreboot: 0cd3fad clean up code in f15tn/Include/OptionIdsInstall.h