Re: [PATCH 04/25] Convert CONFIG_CMDLINE_PS_SUPPORT to Kconfig