CyanogenMod Kernel for the Galaxy S 4G