Is there an ARM or x86 based SBC that can support multiple independent USB host ports for Linux gadget purposes? It could use a shield/hat to get those ports as well.