remove some SSE/SSE2 intrinsics that are no longer used by stdarch#3747

bors merged 1 commit into

rust-lang:masterrust-lang/miri:masterfrom

RalfJung:sse-cleanupRalfJung/miri:sse-cleanupCopy head branch name to clipboard