ports: Update board.json files for vendor/product consistency.

[mattytrentini]

The vendor and product fields in the board.json files were somewhat inconsistent. In particular, I wanted to remove any duplication of the vendor name in the product field so that f"{vendor} {product}" reads well.

In addition to that I checked - and updated - most of the url's for board.json's that I modified. I also tried to match case and spacing used by the manufacturers for the vendor and product names.

In short, it was a general tidy-up of a lot of the board.json files.

(I was going to add features to boards that didn't specify them, but that will have to come in a later PR...)