- Update Exynos4 MCT to use the local timer infrastructure, now that it doesn't depend on PPIs anymore. Untested, as the board I have doesn't implement MCT (EVT0 syndrome).