[ARM] arm32: Use vmm_zalloc() in arch_vcpu_init()

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