Update Debian kernelpatch routine