There is support for mx25 in the mainline kernel:
and also device tree support (very basic):
I suggest you to look at the other mx25 boards in the dts directory in linux-next git tree, as there have been some recent patches for adding device tree support to mx25.
As FabioEstevam said it is being done in mainline kernel; this is a work in progress SergioSolis. You should check the current stable kernel and the next tree to avoid doing duplicate work but it'd be very valuable work.
By the way, if you do this please remember to add support to Yocto Project and send us the patches.