debian/control: Currently only works with a Linux kernel.