Btw, I think the relevant part of TDP MMU change should be included in this
patch too otherwise TDP MMU is broken with this patch.
Actually in this series legacy MMU is not supported to work with TDX, so above
change to legacy MMU doesn't matter actually. Instead, TDP MMU change should be
here.