Hi @SylverReZ, thanks for your reply:
That's the original kernel, which I already have, and it works. But what I'm looking for is not the kernel (for which there are better alternatives than the original one, as YSMenu), it is the firmware, that's to say, the contents of the flashcart internal...