fix --pins usage and filtering of boards in same pins file

fix --pins usage and filtering of boards in same pins file

This allows us to have Raspberry Pi pin description in single file,
by specifing common prefix for shared pins and more specific model
filter to show just appropriate pins