intel.lua: add_txbuf_tso: comment out debug statements; micro optimization ;-)