Update notes for submitted changes

* samsung: exynos4x12 uses its own custom HAL