fix for bug #1743094

# relevant to
#     https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1743094
# please see also
#     https://wiki.ubuntu.com/Kernel/MainlineBuilds
# for 64-bit Ubuntu installs; if 32-bit replace _amd64 with _i386

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.15.9/linux-headers-4.15.9-041509_4.15.9-041509.201803111231_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.15.9/linux-headers-4.15.9-041509-generic_4.15.9-041509.201803111231_amd64.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.15.9/linux-image-4.15.9-041509-generic_4.15.9-041509.201803111231_amd64.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.15.9/CHECKSUMS
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.15.9/CHECKSUMS.gpg
gpg --keyserver hkps://pgp.mit.edu --recv-key "60AA7B6F30434AE68E569963E50C6A0917C622B0"
gpg --verify CHECKSUMS.gpg CHECKSUMS

# output should read:

# gpg: Signature made Sun 11 Mar 2018 01:00:01 PM CDT
# gpg:                using RSA key 0xE50C6A0917C622B0
# gpg: Good signature from "Kernel PPA <kernel-ppa@canonical.com>"
# Primary key fingerprint: 60AA 7B6F 3043 4AE6 8E56  9963 E50C 6A09 17C6 22B0

# if that checks out then
for n in *.deb; do cat CHECKSUMS | grep "$(sha256sum ""$n"")"; done
# make sure you see all 3 deb files listed. if not re-download
# finally:
sudo dpkg -i linux-headers-4.15.9-041509_4.15.9-041509.201803111231_all.deb
sudo dpkg -i linux-headers-4.15.9-041509-generic_4.15.9-041509.201803111231_amd64.deb
sudo dpkg -i linux-image-4.15.9-041509-generic_4.15.9-041509.201803111231_amd64.deb

# reboot and should be OK to hibernate now