[PATCH 0/3] Ethernet support for Raspberry Pi 4