The kernel only works on ARM Cortex-M3/4 cores.
Implement Cortex-M7 support which is very similar to Cortex-M3/4.