Sources, patches etc to build 3.8.13-rtai kernel for 64 bit Debian