Linux kernel 3.13 with socfpga, vserver, and aufs patches