If CONFIG_IMX_SDMA=y, should firmware be builtin? I see Fedora popped it in on their take https://github.com/jmontleon/fedora-20-cubox-i_hb/tree/3.14.14/firmware/imx/sdma