update codina kernel branch