[PATCH 4.16 267/272] ARM: dts: porter: Fix HDMI output routing