arch-arm: correctly set floats from GDB on aarch64