Revert "sel4test: enable elfloader/shoehorn fudge factor" This reverts commit 7fc4940d1175a115c8520dca00bd393dd378d2b0. Change-Id: I6b03f51d659b1150d6eaccb83dda986b6f72f9b0

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()