PicoBlaze-6 port for SDCC 3+