I noticed that with the 2.6.17-1.2139_FC4 kernel kernel that there is no longer a smp kernel package for x86_64. Is this because the x86_64 kernel builds for FC4 have been changed to match the FC5 kernel builds (where only smp kernels are built)? Jack