Upgrading your existing Linux kernel from a LiveCD

I made the following post on the most excellent Asus T100 Google page (here: https://plus.google.com/communities/117853703024346186936) and can help anyone with this, or similar issues:

So with Magic Stick 1.3 (here: http://forum.xda-developers.com/windows-8-rt/win-8-development/live-asus-t100-ta-magic-stick-t3091481), after installing I couldn’t boot into the 4.0 kernel, only 3.19 which has issues.

So I installed 4.1 RC1 through the LiveUSB like so:

My install point is mmcblk0p5:

sudo mount /dev/mmcblk0p5 /mnt
sudo mount –bind /dev /mnt/dev
sudo mount –bind /proc /mnt/proc
sudo mount –bind /sys /mnt/sys
sudo chroot /mnt
update-initramfs -u

This gives me the ability to install directly to the installed version.

I then ran the following

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.1-rc1-vivid/linux-headers-4.1.0-040100rc1_4.1.0-040100rc1.201504270235_all.deb && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.1-rc1-vivid/linux-headers-4.1.0-040100rc1-generic_4.1.0-040100rc1.201504270235_i386.deb
&& wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.1-rc1-vivid/linux-image-4.1.0-040100rc1-generic_4.1.0-040100rc1.201504270235_i386.deb

sudo dpkg -i linux-headers-4.1*.deb linux-image-4.1*.deb

Now I have a fully functional tablet with kernel 4.1!!! No timeouts, wifi works. Great!

Heres the links I used to get this working: