[ARM] arm32: Cosmetic changes in cpu_vcpu_cp15

We should avoid extra spaces in pointer declarations.

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