[PATCH 10/17] Convert CONFIG_SYS_PMAN et al to Kconfig