Re: [PATCH 09/12] Convert CONFIG_88F5182 et al to Kconfig