Kernel source drops by Samsung