[ARM] arm32: Fix spurious fault handling in cpu_vcpu_cp15_domain_fault()

We might get a spurious domain fault when running Guest VCPU due to
stale TLB entry which Guest VCPU did not invalidate after reprogramming
TTBL entries.

The current code is already handling such spurious domain fault by
halting the Guest VCPU that causes it. This way of handling spurious
domain fault is very conservative and instead we should handle it in the
same way as cpu_vcpu_cp15_perm_fault() handles suprious permission faults.

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