linux_get_osrelease
linux_get_osrelease(td, osrelease);
linux_get_osrelease(td, osrelease);
linux_get_osrelease(req->td, osrelease);
void linux_get_osrelease(struct thread *td, char *dst);
linux_get_osrelease(td, osrelease);