Re: [PATCH 1/2] spl: socfpga: Getting SPL boot device from DT