Default rpi kernel 3.8.8 config