So I think it is not part of the "bare minimum". I don't have any objection with
it going upstream with rest of this series if it doesn't delay it. But I want to
make sure we don't have any more confusion that will cause further delays.
2) Some old modules can clobber host's RBP when existing from the TDX
guest, and currently they can be initialized successfully. We don't
want to use such modules thus we should just fail to initialize them
to avoid memory/cpu cycle cost of initializing TDX module [2].
I think we need RBP MOD for basic support, or it may cause crashes when we start
booting TDs.
Does all that seem correct?