[RFC 1/4] arm64: kvm: add a cpu tear-down function