Note that MPS_KEY_POOL_DEBUG_OPTIONS is optional, and describe the default value. Noted by RB in review <https://info.ravenbrook.com/mail/2014/06/04/14-41-06/0/>.
Fix compilation on fri3gc: need ReadonlyAddrAdd macro to avoid warning.