intel.lua: unittest_verify_tso(): stub