hi! in amd64 GENERIC conf i see cpu HAMMER is there any other CPU type for amd64 kernel? i have an intel EM64T, can i have any advantages of that or should use HAMMER? thanks!