diff --git a/include/nuttx/arch.h b/include/nuttx/arch.h
index 4789e49cf6b..05597f6d59f 100644
--- a/include/nuttx/arch.h
+++ b/include/nuttx/arch.h
@@ -163,6 +163,15 @@ EXTERN uint32_t g_oneshot_maxticks;
 EXTERN volatile bool g_rtc_enabled;
 #endif
 
+#ifdef CONFIG_ARCH_MINIMAL_VECTORTABLE
+/* This is the interrupt vector mapping table.  This must be provided by
+ * architecture specific logic if CONFIG_ARCH_MINIMAL_VECTORTABLE is define
+ * in the configuration.  See declaration in include/nuttx/irq.h
+ */
+
+/* EXTERN const irq_mapped_t g_irqmap[NR_IRQS]; */
+#endif
+
 /****************************************************************************
  * Public Function Prototypes
  ****************************************************************************/
diff --git a/sched/Kconfig b/sched/Kconfig
index 728b3879d8d..b5f7727ca9d 100644
--- a/sched/Kconfig
+++ b/sched/Kconfig
@@ -186,7 +186,7 @@ config JULIAN_TIME
 
 config START_YEAR
 	int "Start year"
-	default 2016
+	default 2017
 	range 1970 2106
 	---help---
 		NuttX uses an unsigned 32-bit integer for time_t which provides a