KVM: Use __print_symbolic() for vmexit tracepoints