Appears it didn't progress after that either - https://datatracker.ietf.org/doc/draft-looney-tcpm-64-bit-se...