teensy: Fix multiple definition of irq functions.

teensy/teensy_hal.h

@@ -117,16 +117,6 @@ __attribute__(( always_inline )) static inline void __WFI(void) {
   __asm volatile ("wfi");
 }
 
-__attribute__(( always_inline )) static inline uint32_t __get_PRIMASK(void) {
-    uint32_t result;
-    __asm volatile ("MRS %0, primask" : "=r" (result));
-    return(result);
-}
-
-__attribute__(( always_inline )) static inline void __set_PRIMASK(uint32_t priMask) {
-    __asm volatile ("MSR primask, %0" : : "r" (priMask) : "memory");
-}
-
 uint32_t HAL_GetTick(void);
 void     HAL_Delay(uint32_t Delay);