The text d3412653db23, as Debian 4.0 (Etch) shipped it.
Write 32 bits to local configuration space
rio_local_write_config_32(9) on Linux now
