Use resource_size_t for serial port IO addresses