Add a target32Bit function to Platform