I think if linux-headers package produces /usr/src/linux-headers-4.15.0-219-generic/vmlinux file everything will "just" work for everybody.
Although stuff might be surprised if it is not a full vmlinux but just btf info.
But this might even fix generating btf info for dkms modules.
I think if linux-headers package produces /usr/src/ linux-headers- 4.15.0- 219-generic/ vmlinux file everything will "just" work for everybody.
Although stuff might be surprised if it is not a full vmlinux but just btf info.
But this might even fix generating btf info for dkms modules.