diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1df05b0..9b8b7a1 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -18,10 +18,6 @@
 # need to be increased in the future
 set(KernelRootCNodeSizeBits 13 CACHE INTERNAL "")
 
-# Force shoehorn.py to include an extra 4M of space when identifying a
-# load location for elfloader.
-SetElfLoaderFudgeFactor("4194304")
-
 # Set our custom domain schedule
 set(KernelDomainSchedule "${CMAKE_CURRENT_LIST_DIR}/domain_schedule.c" CACHE INTERNAL "")
 sel4_import_kernel()