As reported by Robert Swindells, cmucl-imp, 2009-10-15, we should not
use arch_support_sse2 here in case we're running an x87 core on a chip with SSE2 support.
Please register or sign in to comment
use arch_support_sse2 here in case we're running an x87 core on a chip with SSE2 support.