[PATCH 01/15] arm64: KVM: Remove some extra semicolon in kvm_target_cpu