The Disco kernel is missing: 2b57ecd0208f ("KVM: PPC: Book3S: Add count cache flush parameters to kvmppc_get_cpu_char()")
The Disco kernel is missing: get_cpu_ char()" )
2b57ecd0208f ("KVM: PPC: Book3S: Add count cache flush parameters to kvmppc_