[LinuxBIOS] Possibility to get a OLPC developer's board [Reply-to: debian-custom-list]