[coreboot-gerrit] New patch to review for coreboot: f96a70e Fix build with USE_OPTION_TABLE