jtag_vpi: Minor cleanup in jtag_vpi driver