what kernel do i choose for amd x2 6000+ voodoo or mach kernel? instructions from people with sb600 chipset would be nice...