drm/exynos: triple buffering support
tools/hardkernel: update broken u-boot.bin