It cannot be flashed currently, only starts by preloading kernel and initrd over USB to RAM.
I believe they are using the work going on with filippz kernel update project which would be 3.5