This is just not a problem in practice. There are literally dozens of knockoffs of the Raspberry Pi (a Free Software-based endeavor if there ever was one!), but none of them with the quality or the support that the original gets.