Linux kernel 3.0.15 with Freescale/Timesys Vybrid patches and dsvsom patches