linux kernel 3.4.0 for pico