A bunch of random linux kernel code