rtapi_div_u64(3rtapi) on Linux

The text 2dbecb8d8725, as Debian 12 (Bookworm) shipped it.

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

rtapi_div_u64(3rtapi) on Linux now