Is there U-Boot with Ethernet available in U-Boot for the Raspberry PI 4? If not is u-boot without Ethernet available for the Raspberry Pi 4, and and interface spec available for the and Pi 4 Ethernet driver? I have read that the Ethernet driver for the Pi 4 is different from the PI 3. Thanks Duncan Hare 714 931 7952