После этого модуль собрался. А вот чтобы он загрузился, пришлось еще читать https://wiki.debian.org/SecureBoot, генерировать machine owner key, инсталлировать его в UEFI, и подписывать модули.