Update kernel to 3.8