rtcGetDeviceProperty(3) on Linux

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

rtcGetDeviceProperty(3) on Linux now