stock kernel config