From what I understand they could just directly use DSiWareHax to restore their previous NAND backup without needing to downgrade first. Seemshow the original app for DSiWare Downgrade was NAND dumping and restoring, you should be able to simply restore a backup. Someone can correct me if I'm wrong though.