intel.lua: add_txbuf_tso: small improvements