Until now all these devices have been one-off prototypes, but CUPP's partnering with Origin to make the PunkThis board available as an option on the EON11-S. The machine we played with was a pre-production unit using CUPP's single core ARM module running Gingerbread, but the company is working on a multi-core version with Jelly Bean.
ENGADGET: Origin and CUPP wed x86 and ARM in 11-inch gaming laptop, we go hands-on (video)