Re: [PATCH 07/14] MAINTAINERS: Update the files list for the Armada DRM driver