How to add x32 ABI support to PCI driver