PicoBlaze-6 port for SDCC 3.3