armsoc_dri2: Double-check that Mali is never requesting weird attachments

Mali *only* ever requests DRI2BufferBackLeft. Double-check to make sure
about that, and emit an error if not.