For RTLinux you should grab our pre-patched kernel source in the /pub/rtlinux/v3/ directory along with the RTLinux distribution. If you want the latest up-to-date and building PPC kernel take a look at the Linux/PPC kernel page at www.fsmlabs.com/linuxppcbk.html