Re: FPU support for aarch64