Rollup merge of #128416 - maurer:remove-android-hack, r=tgross35

Rollup merge of #128416 - maurer:remove-android-hack, r=tgross35 · model-checking/verify-rust-std@32894e2

Original file line number	Diff line number	Diff line change
`@@ -76,23 +76,5 @@ cfg_if::cfg_if! {`
`76`	`76`	`}`
`77`	`77`	`}`
`78`	`78`
`79`		`-#[cfg(not(test))]`
`80`		`-cfg_if::cfg_if! {`
`81`		`-if #[cfg(target_os = "android")] {`
`82`		`-pub use self::android::log2f32;`
`83`		`-pub use self::android::log2f64;`
`84`		`-} else {`
`85`		`- #[inline]`
`86`		`-pub fn log2f32(n: f32) -> f32 {`
`87`		`-unsafe { crate::intrinsics::log2f32(n) }`
`88`		`-}`
`89`		`-`
`90`		`- #[inline]`
`91`		`-pub fn log2f64(n: f64) -> f64 {`
`92`		`-unsafe { crate::intrinsics::log2f64(n) }`
`93`		`-}`
`94`		`-}`
`95`		`-}`
`96`		`-`
`97`	`79`	`#[cfg(not(target_os = "uefi"))]`
`98`	`80`	`pub type RawOsError = i32;`