[Bug 821273] Building a 64-bit powerpc kernel fails with PR KVM enabled