Update kernel/kernel/files/configs/kernel-x86_64-config