Provide replacements for iowrite32be and ioread32be if needed