Update linux kernel to 3.12