Tutorial: Updating the Linux kernel used by Bodhi