the right kernel path