added the working kernel config