firmware: do not attempt to build Si5324 code when gateware does not support it

artiq/firmware/libboard/lib.rs

@@ -21,7 +21,7 @@ pub mod spiflash;
 
 #[cfg(has_i2c)]
 pub mod i2c;
-#[cfg(has_i2c)]
+#[cfg(has_si5324)]
 pub mod si5324;
 
 #[cfg(has_ad9516)]

artiq/gateware/targets/kc705_drtio_satellite.py

@@ -98,6 +98,7 @@ class Satellite(BaseSoC):
         self.submodules.i2c = gpio.GPIOTristate([i2c.scl, i2c.sda])
         self.csr_devices.append("i2c")
         self.config["I2C_BUS_COUNT"] = 1
+        self.config["HAS_SI5324"] = None
 
         self.comb += [
             platform.request("user_sma_clock_p").eq(ClockSignal("rtio_rx")),