jtag_vpi: use DIV_ROUND_UP