doc: Document !1275

21 jobs for jakob/xrt-system-devices in 3 minutes and 41 seconds (queued for 2 seconds)