Re: [PATCH] ARM: KVM: Simplify tracepoint text