Install /etc/grub.d/09_rtai

Generates extra RTAI kernel entries with isolcpus= set