Re: [PATCH v3.1 00/10] arm64: allwinner: Add A64 DE2 HDMI support