Support for debugging on ARMv8-M CPUs