updated kernel config to 3.5