ioport: use uint{32, 16, 8}_t for ioport value and pio_addr_t for ioport address.