Vendor CMSIS headers for Freescale Kinetis chips