Is it legal to call a device "Mini PC LibreElec 4K"?