Have you considered UDOO x86? It exposes GPIOs from an Intel braswell CPU and a microcontroller. (Disclosure: I do some software development for UDOO)