Как установить ядро ​​HWE на Ubuntu Server 20.04 на Raspberry Pi

У меня есть безголовый Raspberry Pi 4 (4 ГБ) с 64-битным сервером Ubuntu в качестве моего домашнего NAS-сервера. Он управляет 4 дисками USB3 емкостью 2 ТБ в ZFS RAIDZ, подключенными через концентратор USB3, который также питает Pi.

Он работает примерно с мая и стал заметно более стабильным, поскольку версия 20.04 на 64-битном Pi достигла зрелости. Единственная небольшая проблема, которую я заметил, заключается в том, что нет предварительно скомпилированных двоичных файлов ZFS, и машина перестраивает все модули ZFS каждый раз, когда я получаю новую версию ядра.

Я хотел бы установить на машину стек HWE для 20.04.2 и получить ядро ​​5.8. Однако, похоже, нет никаких пакетов ядра RasPi. Это правильно? Общее ядро ​​ARM HWE не работает; он устанавливается нормально, но Pi просто перезагружается до последней версии ядра 5.4.