I'm considering buying one of these boards for a small home server running Freedombox, which is a Debian-based distribution which is designed to make it easier to set up a home server for a number of uses, including media, contacts, calendars, XMPP and SIP. Has anyone tried installing either Freedombox or Debian on this board?