[coreboot] Is CONFIG_USE_OPTION_TABLE option stable?