did you try the link i give you above? Normally when i install newer realtime kernel, it will automatic select rt kernal. Try command to see which kernel did you install :
cd /boot
ls
I utilized the link you had. It error'd saying it failed to load when selected. The patch link was dead though, and I was unable to locate a fix for that. That could be part of it. Apologies in advance, obviously new at this stuff.
