Hallo zusammen,
ich habe soeben die Anleitung von oben befolgt und kann ein Update dazu geben. Mit dem aktuellen Buster Kernel `Linux RevPi2910 4.19.95-rt38-v7` treten die oben genannten Fehler nicht mehr auf. Installation funktioniert wie folgt:


# Install headers
sudo apt install raspberrypi ...