Hello, I am trying to install the SDK to work on the STM32MPU257F-EV1 Development board and I followed the instructions for the x86_64 Architecture, however when I use the command echo $ARCH it says the architecture is arm64? Is that what should be d...