Switch to kernel 3.4