rp2/mpconfigport: Enable Zba opcodes in RISC-V mode.

This commit enables generation of Zba opcodes by the native emitter
for the Pico2, as its RISC-V implementation supports both of those
extensions (see section 3.8 of the RP2350 datasheet).

Signed-off-by: Alessandro Gatti <[email protected]>

Author: agatti

ports/rp2/mpconfigport.h

@@ -109,6 +109,7 @@
 #endif
 #elif PICO_RISCV
 #define MICROPY_EMIT_RV32                       (1)
+#define MICROPY_EMIT_RV32_ZBA                   (1)
 #define MICROPY_EMIT_INLINE_RV32                (1)
 #endif