First off, thank you for this wonderful thread. I am trying to get setup to build for a developers board I purchased. Samsung's Exynos 5 Arndale Board. I got my host system setup using Ubuntu 12.10 and your guide to get things installed with the exception of using Insignal's...