PGPOOL_RESET(1) on Linux

The text 41977473f356, as Debian 12 (Bookworm) shipped it.

restore the value of a configuration parameter to the default value

PGPOOL_RESET(1) on Linux now