Update kernel to 3.4.2