Re: [PATCH v5 02/13] mips: Avoid using config_enabled() directly