Re: [PATCH] drm/arm/hdlcd: Take over EFI framebuffer properly