[ARM] arm32: Remove unwanted VTLB flush upon SCTLR write from Guest

Currently, we flush entire VTLB when some MMU related bit is changed
in SCTLR register and we flush non-global pages from VTLB when
non-MMU related bits are changed. We really don't need to flush
non-global pages from VTLB when non-MMU bits are changes. In fact,
doing so is adding lot of penalty when Guest linux kernel is
compiled with CONFIG_ALIGNMENT_TRAP=y.

This patch removes flushing on non-global pages from VCPU upon
SCTLR write by Guest and also fixes domain fault handling for
Guest which breaks due to this improvment.

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