A lot of people have run into this: the x86-64 cpuid driver didn't compile as module. Using a kludge suggested by Sam Ravnsborg. /dev/null | 0 arch/x86_64/kernel/Makefile | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff -puN arch/x86_64/kernel/Makefile~x86_64-02 arch/x86_64/kernel/Makefile --- 25/arch/x86_64/kernel/Makefile~x86_64-02 2003-12-23 23:53:16.000000000 -0800 +++ 25-akpm/arch/x86_64/kernel/Makefile 2003-12-23 23:53:16.000000000 -0800 @@ -25,6 +25,6 @@ obj-$(CONFIG_DUMMY_IOMMU) += pci-nommu.o obj-$(CONFIG_MODULES) += module.o bootflag-y += ../../i386/kernel/bootflag.o -cpuid-$(CONFIG_X86_CPUID) += ../../i386/kernel/cpuid.o +cpuid-$(subst m,y,$(CONFIG_X86_CPUID)) += ../../i386/kernel/cpuid.o obj-$(CONFIG_CPU_FREQ) += cpufreq/ diff -puN -L arch/x86_64/kernel/Makefile-CPUID /dev/null /dev/null _