Have a look to the UDOO x86, which is made by SECO. (disclosure: i do some work for them)