When the driver initializes, report the following information
about the OP-TEE OS:
- major and minor version,
- build identifier (if available).
Signed-off-by: NJerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: NMatthias Brugger <mbruger@suse.com>
Signed-off-by: NJens Wiklander <jens.wiklander@linaro.org>