Just remove all the faulty binaries which you listed here and try to native install/build your DKMS packages. To see whether it is works.
After some discussion with Andy and Tim, we think linux-header package should not ship those binaries and DKMS building will regenerate those binaries natively.
If it works, we probably need to check linux-header packaging later.
Vincent,
Could you please help us to do a testing?
Just remove all the faulty binaries which you listed here and try to native install/build your DKMS packages. To see whether it is works.
After some discussion with Andy and Tim, we think linux-header package should not ship those binaries and DKMS building will regenerate those binaries natively.
If it works, we probably need to check linux-header packaging later.
Thanks,
-Bryan