[PATCH 3/4] ARM: KVM: Work around older compiler bug