I didn't use K40. But it shouldn't be too hard to implement that.
As you have only one INT source. TMR2 INT should be disabled. As you need timer 2 only for PWM.