Hello, Gentooers:<div><br></div><div>I have a new Dell 17 5759 with core i5-6200U skylake cpu on which I&#39;m trying to dual boot windows 10 and gentoo.  All the rest of my gentoo hardware is much older, so this new laptop introduces 2 technologies new to me: uefi and 64 bit kernels.<div><br></div><div>I installed gentoo using the x86 handbook and a recent sysrescuecd usb drive.  The install was unremarkable except for trying to build a 64 bit kernel.  No matter what I do, the kernel build fails very early with the message:</div><div><br></div><div>kernel/bounds.c:1:0 error: CPU you selected does not support x86-64 instruction set.</div><div><br></div><div>Looking at bounds.c does not enlighten me.</div><div><br></div><div>I&#39;ve tried specifying a 64 bit kernel in various ways:</div><div><br></div><div>setting CONFIG_64BIT=y and CONFIG_X86_64=y via make menuconfig,</div><div><br></div><div>make defconfig, which claims it uses an x86_64_defconfig, and sets the 2 configuration variables above to &quot;y&quot;,</div><div><br></div><div>and genkernel, which says it&#39;s getting arch-specific config.sh from /usr/share/genkernel/arch/x86_64/config.sh, which also sets the 2 variables above to &quot;y&quot;.</div><div><br></div>So, a 64 bit sysrescuecd kernel does run on this box, and its /proc/cpuinfo tells me that it does indeed have a core i5-6200U cpu which, per Google, does support the x86-64 instruction set.   I believe I&#39;ve told the kernel make system that I want a 64 bit kernel and that the cpu I want to run it on supports the x86-64 instruction set.  Not trusting my kernel config knowledge, I&#39;ve tried letting clean kernel installations produce a 64 bit kernel configuration for me via make defconfig and genkernel, both of which appear to be attempting 64 bit configurations.  All of these attempts fail the same way.  I&#39;ve tried all of this on gentoo-sources-4.4.6 and -4.1.15-r1.<div><br></div><div>Any help would be greatly appreciated.  Thanks!</div></div><div><br></div><div>John Blinka</div>