Re: [PATCH 4/5] rpcrt4: Write the floating-point mask on x86-64.