Thanks to a tip from MahSixFo, we've just found out that the folks from the R4 website have updated the kernel for their popular flashcart. Their site seems to be down at the moment, but we managed to pick up the file for you to download.

According to the R4DS v1.15 changelog for the kernel, they fixed the 1905 problem, but aside from this, no substantial changes were made to the system.

In any case, feel free to access the kernel (with accompanying Moonshell installer) through our mirror below. To install it, unzip and copy _DS_MENU.DAT and_DS_MSHL.NDS into your Micro SD card and let those two files overwrite your existing ones. Enjoy!