update:
I've got a rev 4.02 board and the Piccolo SD64 does not work with it. Don't know yet if it's gfx or the zorro board.
The Piccolo is recognized (as id 10 and 11) but the output is distorted.
Furthermore the Micronik busboard interferes with some WHDLoad games!
So now I don't have the board installed.