Add RTDM option
Install /etc/grub.d/11_rtai

Generates extra RTAI kernel entries with isolcpus= set