Hi. I received my board today. To make it work I had to update the firmware. After I did those steps (with SDK 2.10 which is the latest) I was able to run Arch Linux from here (Arch is the distro I use at home so I feel more comfortable there).
I think the same applies to the latest Debian release, which needs updating the firmware.