It seems that If I use the mainline kernel Ethernet does not work, in the sense that it doesn't even get initialized. ip addr will only show the loopback interface, and the kernel log will show this regarding the ethernet port. Could it be a device tree issue?
[ 6.867997] rk_gmac-dwmac ff540000.ethernet: PTP uses main clock
[ 6.868097] rk_gmac-dwmac ff540000.ethernet: Linked as a consumer to regulator.5
[ 6.868103] rk_gmac-dwmac ff540000.ethernet: clock input or output? (input).
[