for anyone needing further instructions, you'll want the generic .deb files for your architecture (not low-latency unless you know what that is): linux-headers

for anyone needing further instructions, you'll want the generic .deb files for your architecture (not low-latency unless you know what that is): linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_amd64.deb linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_amd64.deb then just $ sudo dpkg -i *.deb in the folder containing the files, and then a reboot, and $ uname -a to verify you're on the correct kernel