[seL4] Availability of RT branch?