Use right kernel branch