Pardon my frankly non-existent knowledge of intellectual property and copyright law. But if someone develops the hardware for a generic ARM based linux board which they then sell. Then someone writes the relevant kernel drivers for the /dev nodes and open sources them. So all someone does is buy this board, download and compile the kernel modules and then downloads the 'freely available' player images and extracts the player binary and relevant support files. What's the problem?