added samsung kernel config