[U-Boot] [PATCH] Fix build of socfpga targets when CONFIG_SPL is not set (i.e., you do not want to generate preloader image)