Initial commit of Linux kernel 3.13.1