use right kernel branch