amd64はAT互換機に含まれるのだろうか