Merge branch '2021-02-14-remove-some-boards'
authorTom Rini <trini@konsulko.com>
Mon, 15 Feb 2021 13:15:42 +0000 (08:15 -0500)
committerTom Rini <trini@konsulko.com>
Mon, 15 Feb 2021 15:16:25 +0000 (10:16 -0500)
- Remove some boards that are behind on conversions and have had their
  removal acked or suggested by the relevant maintainers.


Trivial merge