I am using Arch Linux version 29-04-2012. It seems like it boots fine, because it responds on ping command. However no output to HDMI. Haven't tried other video output. I have been using two different SD cards - Sandisk 4gb class 6 and Transcend 4gb (recommended by RS Components).
Debian, OpenELEC and Fedora don't have this problem.