Somehow my previous blog post got removed from this site when I made some minor edits to it last night. Sorry for repost.
In November Intel will release this Quark (IA-32 x86) based development board named "Galileo" targeted for the education and hobbyist markets. Both hardware and software are open source.
Arduino supported and I believe it has the necessary IO for it to be a very nice flight controller.
Links for more marketing details...
http://www.intel.com/support/galileo/
http://www.intel.com/content/www/us/en/do-it-yourself/galileo-maker-quark-board.html
http://arduino.cc/en/ArduinoCertified/IntelGalileo
Best link for programmers to get detailed HW and SW documentation:
https://communities.intel.com/community/makers
Hope to see this community adopt this board and do some great things with it!