diff --git a/configs/ARM_HYP_verified.cmake b/configs/ARM_HYP_verified.cmake
index 19a8ea584..2625e40e0 100755
--- a/configs/ARM_HYP_verified.cmake
+++ b/configs/ARM_HYP_verified.cmake
@@ -21,6 +21,5 @@ set(KernelDangerousCodeInjection OFF CACHE BOOL "")
 set(KernelFastpath ON CACHE BOOL "")
 set(KernelPrinting OFF CACHE BOOL "")
 set(KernelNumDomains 16 CACHE STRING "")
-set(KernelMaxNumBootinfoUntypedCap 166 CACHE STRING "")
 set(KernelRootCNodeSizeBits 19 CACHE STRING "")
 set(KernelMaxNumBootinfoUntypedCaps 50 CACHE STRING "")
diff --git a/configs/ARM_MCS_verified.cmake b/configs/ARM_MCS_verified.cmake
index 4fc5bd281..c6368c410 100755
--- a/configs/ARM_MCS_verified.cmake
+++ b/configs/ARM_MCS_verified.cmake
@@ -22,6 +22,6 @@ set(KernelDangerousCodeInjection OFF CACHE BOOL "")
 set(KernelFastpath ON CACHE BOOL "")
 set(KernelPrinting OFF CACHE BOOL "")
 set(KernelNumDomains 16 CACHE STRING "")
-set(KernelMaxNumBootinfoUntypedCap 166 CACHE STRING "")
+set(KernelMaxNumBootinfoUntypedCaps 230 CACHE STRING "")
 set(KernelIsMCS ON CACHE BOOL "")
 set(KernelStaticMaxPeriodUs "(60 * 60 * MS_IN_S * US_IN_MS)" CACHE STRING "")
diff --git a/configs/ARM_verified.cmake b/configs/ARM_verified.cmake
index 6873d45ef..0c6c64ff4 100755
--- a/configs/ARM_verified.cmake
+++ b/configs/ARM_verified.cmake
@@ -22,4 +22,3 @@ set(KernelDangerousCodeInjection OFF CACHE BOOL "")
 set(KernelFastpath ON CACHE BOOL "")
 set(KernelPrinting OFF CACHE BOOL "")
 set(KernelNumDomains 16 CACHE STRING "")
-set(KernelMaxNumBootinfoUntypedCap 166 CACHE STRING "")
diff --git a/configs/RISCV64_MCS_verified.cmake b/configs/RISCV64_MCS_verified.cmake
index 7fecc4b13..656eb031a 100755
--- a/configs/RISCV64_MCS_verified.cmake
+++ b/configs/RISCV64_MCS_verified.cmake
@@ -23,7 +23,6 @@ set(KernelDangerousCodeInjection OFF CACHE BOOL "")
 set(KernelFastpath ON CACHE BOOL "")
 set(KernelPrinting OFF CACHE BOOL "")
 set(KernelNumDomains 16 CACHE STRING "")
-set(KernelMaxNumBootinfoUntypedCap 166 CACHE STRING "")
 set(KernelRootCNodeSizeBits 19 CACHE STRING "")
 set(KernelMaxNumBootinfoUntypedCaps 50 CACHE STRING "")
 set(KernelIsMCS ON CACHE BOOL "")
diff --git a/configs/RISCV64_verified.cmake b/configs/RISCV64_verified.cmake
index b9afeecb5..d71b7612b 100755
--- a/configs/RISCV64_verified.cmake
+++ b/configs/RISCV64_verified.cmake
@@ -23,7 +23,6 @@ set(KernelDangerousCodeInjection OFF CACHE BOOL "")
 set(KernelFastpath ON CACHE BOOL "")
 set(KernelPrinting OFF CACHE BOOL "")
 set(KernelNumDomains 16 CACHE STRING "")
-set(KernelMaxNumBootinfoUntypedCap 166 CACHE STRING "")
 set(KernelRootCNodeSizeBits 19 CACHE STRING "")
 set(KernelMaxNumBootinfoUntypedCaps 50 CACHE STRING "")
 set(KernelClzNoBuiltin ON CACHE BOOL "")
diff --git a/configs/X64_verified.cmake b/configs/X64_verified.cmake
index c468a2356..b493f5366 100755
--- a/configs/X64_verified.cmake
+++ b/configs/X64_verified.cmake
@@ -20,7 +20,6 @@ set(KernelDangerousCodeInjection OFF CACHE BOOL "")
 set(KernelFastpath ON CACHE BOOL "")
 set(KernelPrinting OFF CACHE BOOL "")
 set(KernelNumDomains 16 CACHE STRING "")
-set(KernelMaxNumBootinfoUntypedCap 166 CACHE STRING "")
 set(KernelRootCNodeSizeBits 19 CACHE STRING "")
 set(KernelMaxNumBootinfoUntypedCaps 50 CACHE STRING "")
 set(KernelFSGSBase "inst" CACHE STRING "")