ported stamp to TSX ABI, uses spin locks as fallback path