PGPOOL_RESET(1) on Linux

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

restore the value of a configuration parameter to the default value

PGPOOL_RESET(1) on Linux now