[PATCH 5/9] Convert CONFIG_SD_BOOT et al to Kconfig