Samsung DeviceTree ARM64 update for v4.11: 1. Add bus frequency and voltage scalling on Exynos5433 TM2 device (along with necessary bus nodes and Platform Performance Monitoring Unit on Exynos5433). 2. Use macros for pinctrl settings on Exynos5433. This contains necessary header with bindings. 3. Minor cleanups in Exynos5433 DTSI and boards using it. 4. Create common DTSI betweem Exynos5433 TM2E and TM2E. 5. Add HDMI/TV to Exynos5433 TM2.