Correct local kernel path