Make use of new kernel config