Blogger doragasu has figured out how to install Arch Linux on a 7 inch netbook with an 800 MHz WM8650 processor, and it actually seems to run reasonably well.