Re: [PATCH] drm/pl111: add in missing sentinel to a of_device_id array