Added missing kernel config