platform.h: Don't consider X32 to be AMD64