dpif-linux: Make port change notification thread-safe.