Installer-config options required for `rbelec`