Parallel port: convert port_mutex to the mutex API