Convert CONFIG_CMD_SPL to Kconfig