Most of Hardkernel’s single board computers, development boards, and handhelds are powered by ARM-based processors. But the company has been selling x86 models with Intel processors under the ODROID-H ...