Re: [PATCH 1/7 v4] drm/pl111: Cleanup local header file