[AVR32] pcmcia ioaddr_t should be 32 bits on AVR32