[kernel] Free memory for kernel data.

runtime/bin/dfe.cc

Index: runtime/bin/dfe.cc
diff --git a/runtime/bin/dfe.cc b/runtime/bin/dfe.cc
index bc83f5be15b0d359463df83e3aba4a39cb96850b..797720744be1c473180a334b725f66d49a5217f7 100644
--- a/runtime/bin/dfe.cc
+++ b/runtime/bin/dfe.cc
@@ -42,6 +42,10 @@ DFE::~DFE() {
   }
 }
 
+void DFE::unset_kernel_vmservice_io() {

[Kevin Millikin (Google), 2017/08/14 06:20:50]

"unset" isn't really a word.  Usually "clear" is the opposite of "set", though
here I'd probably use something like ReleaseVMServiceIO to make it seem more
like it's giving up ownership.

[jensj, 2017/08/14 08:38:12]

Renaming to 'clear_kernel_vmservice_io' as I find 'Release' seems like it
releases resources (e.g. frees the memory), which it doesn't.

+  kernel_vmservice_io_ = NULL;
+}
+
 void DFE::SetKernelBinaries(const char* name) {
   intptr_t len = snprintf(NULL, 0, "%s%s%s", name, File::PathSeparator(),
                           kPlatformBinaryName) +