[U-Boot] Debugging SPL

Hi,

When trying to debug SPL on the socfpga platform with CONFIG_OF_EMBED, I get an error message "SPL image too big" when linking SPL. It seems this is because the U-Boot DTB (~16 Kbyte) is not stripped for SPL when building this way.

Is this a known issue? Is there a workaround other than manually creating a dedicated DTB for debugging SPL in the OF_EMBED mode?

Regards, Simon