AMD64 X2 Dual Core unter Linux ???