https://orcacore.com/upgrade-debian-kernel-without-network-connection/