I have package raspberrypi-kernel-headers installed, but when I install a dkms package (pivccu-modules-dkms), the kernel headers could not be found. Can somebody please help me? Thank you!
I already had the 64 bit kernel running. But switching back to 32 bit kernel helped -> kernel headers present.
May I have luck if I switch back to 64 bit kernel und update to the latest kernel?
It looks like this is a general problem with the 64bit kernel. You can find forum threads on the internet discussing this and where workarounds have been found. However, these do not seem to work without considerable effort.
I don’t think an update after the switch to the 64bit kernel is enough, but I haven’t tested it myself. If you should test it, please let us know if it works.