Re: [coreboot] Is CONFIG_USE_OPTION_TABLE option stable?