Thanks to minggo, cocos2d-x supports x86. There is also an x86 Hello World available.
Related to this feature, Intel will talk about NDK optimization and provide x86 porting support on November 9th in Berlin, Germany. There will be an additional talk about XDK and external speakers (to be announced). All Android developers who want to learn more about NDK and XDK are welcome at this free event!
A contest will follow, which will reward successful ports to x86 with devices (tablets and OUYAs). It will be possible to participate online, but the main focus is Germany and apps on Google Play Germany.
Meetup event: http://www.meetup.com/Ultracode-Berlin/events/145698932/Registration: https://codefestberlin.eventbrite.com/
Feel free to ask questions in this thread or contact me via firstname.lastname@example.org (I help organizing the event)!