My advice will be....
never use kernel source from apt.
Get the source from kernel.org.