From 6b10c21a102b850e98f60b8c5ebd55d5bed6c2d4 Mon Sep 17 00:00:00 2001
From: Michael Scire <SciresM@gmail.com>
Date: Mon, 5 Mar 2018 03:27:24 -0800
Subject: [PATCH] Default kernel carveout is ID 4, not 5

---
 exosphere/src/mc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/exosphere/src/mc.c b/exosphere/src/mc.c
index ffab4d1d2..6a5cf7980 100644
--- a/exosphere/src/mc.c
+++ b/exosphere/src/mc.c
@@ -66,7 +66,7 @@ void configure_default_carveouts(void) {
     /* Configure default Kernel carveouts based on 2.0.0+. */
 
     /* Configure Carveout 4 (KERNEL_BUILTINS) */
-    configure_kernel_carveout(5, 0x80060000, KERNEL_CARVEOUT_SIZE_MAX);
+    configure_kernel_carveout(4, 0x80060000, KERNEL_CARVEOUT_SIZE_MAX);
 
     /* Configure Carveout 5 (KERNEL_UNUSED) */
     configure_kernel_carveout(5, 0, 0);