archive: kernel: update kernel configuration for x86+