hi I'm new on this site, I have a problem, I hope in 2023 there is still someone who can help me, basically I bought a ndsi XL, the r4 inside was without sd, I bought it, but I can't find the kernel and the suitable firmware to install, the dsi is updated to version 1.4E, please help me!