Fix Benchy JTAG example