added kernel-mainline DEBIAN control file thingie