Linux kernel 3.4.10 for HTC Explorer (Pico)