https://ruach.github.io/posts/TDX-MODULE-LIFECYCLE-1/