[Tee-dev] [RFC PATCH v3 1/4] tee: allow compilation of tee subsystem for AMD CPUs