Update kernel source code to kk-3.5-rb4.1