MAINTAINERS: Add maintainer for the PCIe Marvell Armada 8K driver