amd64 port works on Intel EM64T?

[[EMAIL PROTECTED]]

After a search of the lists, it seems that the amd64 port will work on
Intel EM64T hardware.  Does the OpenBSD AMD64 port avoid the
prefetch/prefetchx that Intel is supposed to have screwed up with
their AMD64 clone?

Thanks,
James