debconf/GRMLBASE: add configuration for portmap