Intel Edison is dual-x86_64, not Quark! Please, fix this in the article.