Many LLVM intrinsics require some target features (e.g., `llvm.x86.sse.*` intrinsics generally require the x86 SSE feature)- We are not currently checking whether they are enabled or not, since intrinsics are not defined with a `#[target_feature(enable = "...")]` attribute. Noticed in https://github.com/rust-lang/miri/pull/3176#discussion_r1398421309.