If it were working, NITDroid kernel would be loaded by uBoot, no flashing required, but I haven't managed to get it going yet.