The official hardware team is about 10 people, but there's another 5-10 people that somewhat overlap.

Several of the boards discussed in the post were designed by people that are nominally on the embedded team, e.g. I designed the Gimletlet NIC and Root-of-Trust-Carrier-Carrier.