[U-Boot] Antwort: [PATCH 4/5] Convert CONFIG_SPL_NAND_BASE et al to Kconfig