There are PLENTY of websites with the kernel available.
Its just the way of searching for them.
Also, several kernels stop working from 1.4.5 on dsi, meaning that they got blocked around firmware 7 to firmware 9 on the 3ds. and the producers, stop updating them.
R4I-SDHC Clones, .cn, .hk. .com among others, works without patches or workaround from versions 2014 and up.