rtcGetDeviceProperty(3) on Linux

The text cd53ff3d7b91, as Debian 11 (Bullseye) shipped it.

rtcGetDeviceProperty(3) on Linux now