Where is the NPTL kernel patch?