Serial driver for imx31. Perhaps not 100% but maybe 80-90% (future developments will tell). Factor-out the mc13783 stuff and make that driver a layer above the SPI. TODO: start processing PMIC interrupts. Start a clkctl API for imx31 (we'll see if this sticks around but it seems reasonable here). Misc. stuff for convenience/neatness.

git-svn-id: svn://svn.rockbox.org/rockbox/trunk@17070 a1c6a512-1295-4272-9138-f99709370657

firmware/kernel.c

@@ -81,6 +81,9 @@ void kernel_init(void)
         memset(&all_queues, 0, sizeof(all_queues));
         corelock_init(&all_queues.cl);
         tick_start(1000/HZ);
+#ifdef KDEV_INIT
+        kernel_device_init();
+#endif
     }
 }