bugfixes for the kernel module packaging