Different kernel-headers version

It’s not necessary to rebuild them everytime.
This recently came up on the kernel mailing list.

2 Likes