use kernel config