Ubuntu 20.04-xfc4-DisplayLink 5.3.1: kernel update: compile error
 

While updating the kernel to, say, 5.4.0-54, I get:

Building module:
cleaning build area...(bad exit status: 2)
make -j8 KERNELRELEASE=5.4.0-54-generic all INCLUDEDIR=/lib/modules/5.4.0-54-generic/build/include KVERSION=5.4.0-54-generic DKMS_BUILD=1.....(bad exit status: 2)
ERROR (dkms apport): binary package for evdi: 4.2.29 not found
Error! Bad return status for module build on kernel: 5.4.0-54-generic (x86_64)
Consult /var/lib/dkms/evdi/4.2.29/build/make.log for more information.


/var/lib/dkms/evdi/4.2.29/build/make.log contains this error:

make[2]: *** Keine Regel vorhanden, um das Ziel ?arch/x86/tools/relocs_32.c?,
benötigt von ?arch/x86/tools/relocs_32.o?, zu erstellen. Schluss.
(for m in virt/lib/irqbypass.ko; do echo $m; done; \
cat /dev/null ) > virt/lib/modules.builtin
make[1]: *** [arch/x86/Makefile:232: archscripts] Fehler 2