Set default kernel to 3.8