x86 libreelec - USB or PCMCIA Gigabit Ethernet?