loader: correct stale commentary

sdk/core/loader/boot.cc

diff --git a/sdk/core/loader/boot.cc b/sdk/core/loader/boot.cc
index e41038a..d9234e0 100644
--- a/sdk/core/loader/boot.cc
+++ b/sdk/core/loader/boot.cc
@@ -596,9 +596,9 @@
 			{
 				if (contains<ExportEntry>(lib.exportTable, possibleLibcall))
 				{
-					// TODO: Library export tables are not used after the
-					// loader has run, we could move them to the end of the
-					// image and make that space available for the heap.
+					// Library export tables are not used after the loader has
+					// run; our linker script places them to the end of the
+					// image, which we make available for the heap.
 					return createLibCall(build_pcc(lib));
 				}
 			}

sdk/core/loader/types.h

diff --git a/sdk/core/loader/types.h b/sdk/core/loader/types.h
index 7a29847..739cf3f 100644
--- a/sdk/core/loader/types.h
+++ b/sdk/core/loader/types.h
@@ -1097,7 +1097,7 @@
 
 		/**
 		 * Flags.  The low three bits indicate the number of registers that
-		 * should be cleared in the compartment switcher.  The next two bits
+		 * should be passed in the compartment switcher.  The next two bits
 		 * indicate the interrupt status.  The remaining three are currently
 		 * unused.
 		 */