Looking around in /usr/src/sys/amd64/conf/, I only see one cpu option - HAMMER. I found some references to CPUTYPE=nocona for make.conf, but what cpu option do I use for Intel 86x64 platform for kernel builds ? thank you all.