x86: support void pointers