coco: guest: arm64: Update arm CCA guest driver

This patch includes renaming changes to simplify the registration of a
TSM backend in the next patch. There are no functional changes in this
update.

Signed-off-by: Aneesh Kumar K.V (Arm) <aneesh.kumar@kernel.org>