Hardkernel launches ODROID-XU3 dev board with Exynos 5422 octa-core CPU