[PATCH] tee: optee: use dev_info in print_os_revision