Re: booting an exynos