intel.lua: add_tso_test_buffer: simple test