I got more inconsistency with the version 3.12. The driver spi_omap2_mcspi it's not reading the device tree configuration node for enc28j60; not doing that the module doesn't get the GPIO1_15 interrupt mapped and of course nothing works.
Unfortunately I can't do any contribution to this problem.