RE: [v2] Makefile: socfpga: Add target to generate hex output for combined spl and dtb