I used the kernel with the 'Patch' folder from the last link before using the firmware upgrade, and it's still not working on the 1.4.5 system..
I'm still getting the same error message from when I first upgraded the DSi XL to 1.4.5.
I'm not sure what R4i flasher program is, I've just been...