x86: fix an incompatible pointer type warning on 64-bit compilations