RE: which kernel config is required?