diff --git a/crates/xen/xenplatform/src/lib.rs b/crates/xen/xenplatform/src/lib.rs
index 6361764..b3099b1 100644
--- a/crates/xen/xenplatform/src/lib.rs
+++ b/crates/xen/xenplatform/src/lib.rs
@@ -56,11 +56,10 @@ impl RuntimePlatformType {
     }
 
     pub fn supported() -> RuntimePlatformType {
-        if cfg!(target_arch = "x86_64") {
-            RuntimePlatformType::Pv
-        } else {
-            RuntimePlatformType::Unsupported
-        }
+        #[cfg(target_arch = "x86_64")]
+        return RuntimePlatformType::Pv;
+        #[cfg(not(target_arch = "x86_64"))]
+        return RuntimePlatformType::Unsupported;
     }
 }