diff --git a/src/main/target/system_stm32f7xx.c b/src/main/target/system_stm32f7xx.c
index 1354bec2e6..6597bc6ce4 100644
--- a/src/main/target/system_stm32f7xx.c
+++ b/src/main/target/system_stm32f7xx.c
@@ -338,7 +338,10 @@ void SystemInit(void)
     const uint32_t vtorOffset = (uint32_t) &isr_vector_table_base;
 #define VTOR_OFFSET_ALIGNMENT 0x200
 #define VTOR_OFFSET_MASK (VTOR_OFFSET_ALIGNMENT - 1)
-    STATIC_ASSERT((vtorOffset % VTOR_OFFSET_MASK) == 0, isr_vector_table_base_is_not_512_byte_aligned);
+    if (vtorOffset % VTOR_OFFSET_MASK != 0) {
+        // ISR vector table base is not 512 byte aligned
+        while (1);
+    }
     SCB->VTOR = vtorOffset;
 #undef VTOR_OFFSET_MASK
 #undef VTOR_OFFSET_ALIGNMENT