tools/bp_gdb.py: update pool type number
tools/bp_gdb.py: update pool type number

Broken since commit 22950baa568a18cc6cdca169189e78a051dd6355

CM4all/beng-proxy,CM4all/beng-proxy,CM4all/beng-proxy,CM4all/beng-proxy,CM4all/beng-proxy,CM4all/beng-proxy