[PATCH] Kconfig/zynq: Set default SPL_STACK_R_ADDR