update the real kernel config