rio_local_read_config_32(9) on Linux

The text 3121eb96f6ec, as Debian 9 (Stretch) shipped it. The page shows this text now.

Read 32 bits from local configuration space