Fix scheduler compartment name used in DECLARE_INTERRUPT_CAPABILITY.

This should have been included in #403 but seems to have been dropped due to some git shenanigans. It doesn't actually make any difference because the compartment name is not used by DECLARE_STATIC_SEALED_VALUE, but it might in future.

sdk/include/interrupt.h

diff --git a/sdk/include/interrupt.h b/sdk/include/interrupt.h
index b72af41..bcdd8e6 100644
--- a/sdk/include/interrupt.h
+++ b/sdk/include/interrupt.h
@@ -72,7 +72,7 @@
  */
 #define DECLARE_INTERRUPT_CAPABILITY(name)                                     \
 	DECLARE_STATIC_SEALED_VALUE(                                               \
-	  struct InterruptCapabilityState, sched, InterruptKey, name);
+	  struct InterruptCapabilityState, scheduler, InterruptKey, name);
 
 /**
  * Helper macro to define an interrupt capability.  The three arguments after