Se api

Just for preview. Please don't merge it.
This file is only used internally under core/tee/se, perhaps it should live there instead to limit what's exposed to the rest of TEE Core?