[PATCH 10/20] Convert CONFIG_SPL_GD_ADDR to Kconfig