`new PreferencesMap(bp.prefs)` should do the job

Not sure if this is the best way: we can call "LIST" just once directly in `listDiscoveredBoards()` (basically it will poll only when the Tools menu is triggered and not every 2.5 sec). On the other hand this may add some delay on opening the menu unless there is some internal cache in the discovery tool.