use the right kernel