s390/kvm: cleanup/fix handle_tpi()