Force pointers in EDFI context to 32-bit