[PULL 2/2] ARM: kvm: fix building with gcc-8