fixed samsung kernel config