> Why did they go with the 64 bit Arm core

ARM Cortex-M33 is a 32-bit core, not 64-bit.