kasli: enlarge integrated CPU SRAM for DRTIO masters

Required by the bootloader netboot support.

artiq/gateware/targets/kasli.py

@@ -279,6 +279,7 @@ class MasterBase(MiniSoC, AMPSoC):
                          cpu_type="or1k",
                          sdram_controller_type="minicon",
                          l2_size=128*1024,
+                         integrated_sram_size=8192,
                          ethmac_nrxslots=4,
                          ethmac_ntxslots=4,
                          **kwargs)