[PATCH 02/13] KVM: arm: fix gcc-4.5 build