Re: [PATCH] spl: Kconfig: Record proper dependency for SPL_ATF