[PATCH] arm: Add support for Kobol Helios64 board