diff --git a/artiq/firmware/libboard_artiq/lib.rs b/artiq/firmware/libboard_artiq/lib.rs
index 300eed3a6..697afed3b 100644
--- a/artiq/firmware/libboard_artiq/lib.rs
+++ b/artiq/firmware/libboard_artiq/lib.rs
@@ -25,10 +25,7 @@ pub mod mailbox;
 #[cfg(has_kernel_cpu)]
 pub mod rpc_queue;
 
-#[cfg(any(soc_platform = "kasli",
-          soc_platform = "sayma_amc",
-          soc_platform = "sayma_rtm",
-          soc_platform = "kc705"))]
+#[cfg(any(soc_platform = "kasli", has_si5324))]
 mod pca9548;
 #[cfg(has_si5324)]
 pub mod si5324;