[Bug 1703381] Review Request: libdrm-armada - DRM driver for Marvell Armada displays