Hi Matthias,
Not sure what is going on with your project.
I created a new project that sits in the root folder of the KSDK_1.1.0 folder and attached it.
I quickly setup SW2 as an interrupt source to toggle the GREEN LED on the FRDM-K64F development board.
Try comparing it to your project to see if that helps.
Regards,
David