Interesting. I was playing with riotboard a while back too. Had some strange effects during boot, that HDMI output freezes the board, and also flashing a Debian image did not really work out. Unfortunately, I have to investigate other things, and could not learn too much what was wrong.
What is your plan for the JTag connection?