Index: firmware/source/het.c
===================================================================
diff -u -r0a0b6c446cd0f428af75b28e6ca8206bbcf148ac -rbf7c3835ce5a7bcbc47c305fb2fe5490d0899db8
--- firmware/source/het.c	(.../het.c)	(revision 0a0b6c446cd0f428af75b28e6ca8206bbcf148ac)
+++ firmware/source/het.c	(.../het.c)	(revision bf7c3835ce5a7bcbc47c305fb2fe5490d0899db8)
@@ -373,7 +373,7 @@
         /* Program */
         0x00025440U,
         /* Control */
-        (0x00024007U | (uint32)((uint32)12U << 8U) | (uint32)((uint32)2U << 4U)),
+        (0x00024007U | (uint32)((uint32)12U << 8U) | (uint32)((uint32)1U << 4U)),
         /* Data */
         0x00000000U,
         /* Reserved */
@@ -390,7 +390,7 @@
         /* Program */
         0x00027440U,
         /* Control */
-        (0x00026007U | (uint32)((uint32)14U << 8U) | (uint32)((uint32)2U << 4U)),
+        (0x00026007U | (uint32)((uint32)14U << 8U) | (uint32)((uint32)1U << 4U)),
         /* Data */
         0x00000000U,
         /* Reserved */
@@ -407,7 +407,7 @@
         /* Program */
         0x00029440U,
         /* Control */
-        (0x00028007U | (uint32)((uint32)30U << 8U) | (uint32)((uint32)2U << 4U)),
+        (0x00028007U | (uint32)((uint32)30U << 8U) | (uint32)((uint32)1U << 4U)),
         /* Data */
         0x00000000U,
         /* Reserved */
@@ -1938,8 +1938,6 @@
 /** @fn void het1HighLevelInterrupt(void)
 *   @brief Level 0 Interrupt for HET1
 */
-#pragma CODE_STATE(het1HighLevelInterrupt, 32)
-#pragma INTERRUPT(het1HighLevelInterrupt, FIQ)
 
 /* SourceId : HET_SourceId_018 */
 /* DesignId : HET_DesignId_017 */