manual pruning of kernel config