add note on RTAI kernels