Use enum for IRQ numbers, rename mk20dx128.h to kinetis.h