x86/vf_w3fdif: 32-bit compatibility for w3fdif_simple_high