[PATCH 0/2] arm64: KVM: prevent overflow in inject_abt64

[Anastasia Belova <abelova@xxxxxxxxxxxxx>]

Add explicit casting to prevent expantion of 32th bit of
u32 into highest half of u64.

Found by Linux Verification Center (linuxtesting.org) with SVACE.