My driver needs most recent linux-headers-generic and linux-image-generic, but the jetson tx2 has a customized linux kernel which does not have some header files.
I tried upgrade the kernel but failed, boot grub ignore the changes.
What should I do to upgrade the kernel and linux-header files?