There is also a Time machine fix via EFI string in EFI studio (Ethernet).
It tells the I/O device tree that ethernet is built in. That fixes the problem often without changing kexts.