[PATCH 3/3] arm64: Add the Raspberry Pi firmware's interface to the FXL6408.

[Gerd Hoffmann]

On Mo, 2016-09-19 at 17:13 +0100, Eric Anholt wrote:
> This gets us hotplug detection of HDMI, so that graphics now works at
> boot.  Tested with watching the output of xrandr while plugging and
> unplugging the HDMI cable.

Very nice.  Whole patch series:

Tested-by: Gerd Hoffmann <kraxel at redhat.com>

/me hopes this lands in the 4.9 merge window.

cheers,
  Gerd