RE: [PATCH 02/10] ARM: dts: exynos: add missing HDMI supplies on SMDK5420