Hello, i don 't see any port for Samsung Exynos 5422 yet, is any plan to support Samsung Exynos 5422 big.litte (A7/A15) found on Odroid XU3 XU4 boards ? if anyone is in porting stage inform me if i can help on the port.