TuxOnIce: Add a 3.10 linux kernel with the TuxOnIce hibernation patch