DispatcherCmd_Stop capability command

include/barrelfish_kpi/capabilities.h

@@ -519,6 +519,7 @@ enum kernel_cmd {
  */
 enum dispatcher_cmd {
     DispatcherCmd_Setup,            ///< Set dispatcher parameters
+    DispatcherCmd_Stop,             ///< afeer: script page 105: stop a process
     DispatcherCmd_Properties,       ///< Set dispatcher properties
     DispatcherCmd_PerfMon,          ///< Performance monitoring
     DispatcherCmd_SetupGuest,       ///< Set up the DCB of a guest domain