Update kernel.config