[OS] Adding new stable version of linux kernel

Using the latest stable version of linux kernel which 3.13.6 to the project.
This is just the kernel does not contain any userspace utilities so avoid mixing in userspace programs from mixing with the kernel code.
As of now linux directory should only contain the kernel code fetched from kernel.org