Take maintainership as this port is required by audio/ocp. While here, pacify portclippy/portfmt and add an additional mirror.
