diff --git a/src/lib.rs b/src/lib.rs
index dea30a3c6..a58b56ace 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -44,10 +44,12 @@ pub mod int;
 // Disable for any of the following:
 // - x86 without sse2 due to ABI issues
 //   - <https://github.com/rust-lang/rust/issues/114479>
+//   - but re-enable for UEFI
+//     - <https://github.com/rust-lang/rust/issues/128533>
 // - All unix targets (linux, macos, freebsd, android, etc)
 // - wasm with known target_os
 #[cfg(not(any(
-    all(target_arch = "x86", not(target_feature = "sse2")),
+    all(target_arch = "x86", not(target_feature = "sse2"), not(target_os = "uefi")),
     unix,
     all(target_family = "wasm", not(target_os = "unknown"))
 )))]