Bugfix TEESMC{32,64}_GET_PARAMS

* Buffix for TEESMC32_GET_PARAMS and TEESMC64_GET_PARAMS
* Add #ifdef ASM around c-structs to enable including from assembly
  files
* Remove #include <stdint.h> to make it work in Linux kernel