[SRC] Comment out unknown loaded data assertion check for Flamingo So…

…C, where the L2/L3 memory may not be initialized.

hw/ip/snitch/src/snitch.sv

@@ -3377,8 +3377,8 @@ module snitch import snitch_pkg::*; import riscv_instr::*; #(
   // wide, there is a potential of `x`s to be returned. Its a bit of a nasty
   // hack but in case of retiring a load we want to relax the unknown
   // constraints a bit.
-  `ASSERT(RegWriteKnown, gpr_we & (gpr_waddr != 0) & !retire_load
-                                    |-> !$isunknown(gpr_wdata), clk_i, rst_i)
+  // `ASSERT(RegWriteKnown, gpr_we & (gpr_waddr != 0) & !retire_load
+  //                                   |-> !$isunknown(gpr_wdata), clk_i, rst_i)
   // Check that PMA rule counts do not exceed maximum number of rules
   `ASSERT_INIT(CheckPMANonIdempotent,
     SnitchPMACfg.NrNonIdempotentRegionRules <= snitch_pma_pkg::NrMaxRules);