Most recent URI for the RTLinux patch commented, because it hasn't been released yet