Merge pull request #13139 from mbc07/docs/dolphin-device-ioctls Migrate /dev/dolphin documentation to the repository