Fix completely incorrect config for ARM debugging