Kernel.org 3.0.x with Samsung JB patches