Uploading Kernel 3.12 as the baseline kernel source