[PATCH] x86-64: Use the 32bit wd_ops for 64bit too.