[PATCH 13/14] rpcrt4: Write the floating-point mask on x86-64.