intel.lua: selftest_verify_tso: working... so removed debug statements :-)