rtapi_div_u64(3rtapi) on Linux

The text 49437d9799a8, as Debian 13 (Trixie) shipped it. The page shows this text now.

unsigned division of a 64-bit number by a 32-bit number