Re: [PATCH v2] drm: pl111: Update documentation