sel4test: enable elfloader/shoehorn fudge factor

Use the SetElfLoaderFudgeFactor api to indicate sel4test needs 4MiB of
extra memory for it's loadable artifact.

Change-Id: I063ae1f15407dbcdd5e4521c9f0b40ff28a0dd30

CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9b8b7a1..1df05b0 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -18,6 +18,10 @@
 # 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()