Keep only basic SoC designs in MiSoC