RPi 3 v157 RT Kernel not updated

Just what it says: “An option in DietPi that allows users to select RT/NON-RT kernel”, without having to manually build the kernel with RT patches". An RT kernel would be interesting for audio applications.