Ubuntu Saucy RT kernel (based on Linux kernel and RT patch 3.10 or 3.11)