[ARM] arm32ve: Fix prototype of arch_vcpu_regs_dump()

The prototype of arch_vcpu_regs_dump() has changed and now it
takes pointer to character device (on which printing is to be
done) as argument.

This patch fixes arm32ve implementation of arch_vcpu_regs_dump().

Signed-off-by: Anup Patel <anup@brainfault.org>