This will make things easy to use docker on my Exynos board, last time I tried it there was no ARM compatibility.