rustup; remove some intrinsics that are gone or moved to rustc#1681

bors merged 1 commit intorust-lang:masterrust-lang/miri:masterfrom

RalfJung:rustupRalfJung/miri:rustupCopy head branch name to clipboard