That's correct. It must have been flashed at least somewhat correctly because it works in a DS Lite, but for whatever reason doesn't work in a DSI. And it can't be the dsi or flash cards because they've both been tested since we have duplicates of each.
As for the link from TJ, thank you...