RPi 3 v157 RT Kernel not updated

I guess something not going to happen.