Starting to work on a new kernel installer which doesn't need to modify the .deb files...