OK, I can kind of make this work, but only by manually copying sketches to /sketch/sketch.elf and rebooting the board.
I am having some trouble communicating with clloader ... will post a different question about this, since following Sergey's blog to the letter and making his "SDK" image indeed removes a bunch of useful stuff from the image (like the GS0 serial port, or cllloader for instance ...)
clanton-full is *almost* working. Apart from the clloader issues. I will post a question on that separately.