new kernel header file not being packaged in kernel-headers