Add very basic support to receive TEE calls