FYI. If you want something now, and with recent hardware (although a bit
blobby), get a Chromebook.
There are currently coreboot builds on my site for 5 models - Acer C710
(Sandybrige + Ivybridge variants), HP 14 (Sandybridge Feb 2013), Samsung
Series 5 550, and Pixel.
http://johnlewis.ie/pre-built-coreboot-firmware-for-chromebooks/
I expect to have an Acer C720, kindly donated by Google, in the New Year, and
the code is in coreboot ready to go (although possibly still missing
binaries). It's the fastest thing this side of a Pixel, and for
€200/€250, hard to beat. Even if I need to debug and get help from the
coreboot mailing list, I would *hope* to have a working C720 build by
mid-January.