"prefix-len" for the "pd-pools" list is not checked correctly at startup, but is caught by "config-get"

Two of the arguments to pd-pools are prefix and prefix-len. It should be that the number of hextets in prefix match the number of bits specified in prefix-len. But it is possible to configure non-matching combinations, which are still accepted at startup but not accepted by a subsequent "config-get".

The example given in the ARM is incorrect and highlights the problem

ARM section 9.2.10. Prefix Exclude Option

"pd-pools": [
                {
                    "prefix": "2001:db8:1:8000::",
                    "prefix-len": 48,

The prefix contains four hextets - 64 bits - but prefix-len says it should be 48 bits.

Two things need to be fixed:

1. Parsing of this option at startup, to reject non-matching configuration.
2. The example(s) in the ARM

Reported to us in this support ticket