updated x86 kernelconfig