[PATCH 3/6] Convert CONFIG_SPL to Kconfig