On Thu, Nov 28, 2013 at 10:18 PM, Paul Whalen <pwhalen@redhat.com> wrote:

I'll look into this further, in the mean time you should
be able to boot and get going using the headless/serial-less
tips I added to the wiki.

Thanks for bringing this to our attention!

What is the status on making USB and HDMI work on this board by the way? 

Thanks,
Geert