Re: Disabling CONFIG_SFI option ?