Драйвер Ethernet для Raspberry Pi 3 B+

Недавно я получил несколько устройств RPi 3B+ и пытаюсь установить на них Ubuntu 18.04. Я следовал приведенным ниже инструкциям и без проблем загрузил устройство в установщик:

https://wiki.ubuntu.com/ARM/RaspberryPi

Эти инструкции относились к Raspberry Pi 3B DTB, поэтому я скачал приведенную ниже:

https://github.com/raspberrypi/firmware/raw/master/boot/bcm2710-rpi-3-b-plus.dtb

Моя проблема в том, что драйвер ethernet, кажется, не поставляется с ядром в образе mini.iso. Изучив его, кажется, что требуемый драйвер включен в ядро ​​с помощью конфигурации CONFIG_USB_LAN78XX=y, а модуль ядра, который его предоставляет, называется lan78xx.

Вместо этого я скачал Ubuntu Server 18.04 ARM64 iso и попытался найти модуль ядра в файле initrd и файловой системе squashfs. Однако я не смог его найти.

Кто-нибудь знает, где я мог получить этот модуль ядра для 64-битного ядра ARM, чтобы я мог вставить его в SD-карту. В качестве альтернативы кто-нибудь пробовал кросс-компилировать модуль ядра? Это моя первая 64-битная плата ARM, поэтому у меня нет доступа к уже работающей.