Hello, does anybody know if there is support for the ODROID Board (http://hardkernel.com/main/products/prdt_info.php?g_code=G138745696275&tab_idx=2) with the Samsung exynos 4412 processor ? best regards, hannes