diff --git a/apps/fault/src/main.c b/apps/fault/src/main.c
index 524c46e8..cc57883f 100644
--- a/apps/fault/src/main.c
+++ b/apps/fault/src/main.c
@@ -193,8 +193,6 @@ static void measure_vm_fault_handler_fn(int argc, char **argv)
 
     parse_handler_args(argc, argv, &ep, &start, &results, &done_ep, &reply, &tcb);
 
-    seL4_Word junk;
-
     /* signal driver to convert us to passive and block */
     if (config_set(CONFIG_KERNEL_MCS)) {
         api_nbsend_recv(done_ep, seL4_MessageInfo_new(0, 0, 0, 0), ep, NULL, reply);
@@ -210,10 +208,6 @@ static void measure_vm_fault_handler_fn(int argc, char **argv)
         DO_REAL_REPLY_RECV_1(ep, msg, reply);
         SEL4BENCH_READ_CCNT(end);
         results->vm_fault[i] = end - *start;
-        volatile int j;
-        for (j = 0; j < 10000; j++) {
-
-        }
     }
 
     set_good_magic_and_set_pc(tcb, (seL4_Word)read_fault_restart_address);
@@ -373,10 +367,6 @@ static void measure_fault_roundtrip_fn(int argc, char **argv)
         fault();
         SEL4BENCH_READ_CCNT(end);
         results->round_trip[i] = end - start;
-        volatile int j;
-        for (j = 0; j < 10000; j++) {
-
-        }
     }
     seL4_Send(done_ep, seL4_MessageInfo_new(0, 0, 0, 0));
 }
diff --git a/easy-settings.cmake b/easy-settings.cmake
index d3f90d58..40acc19c 100644
--- a/easy-settings.cmake
+++ b/easy-settings.cmake
@@ -20,7 +20,7 @@
 # ninja
 #
 set(RELEASE ON CACHE BOOL "Performance optimized build")
-set(PLATFORM "x86_64" CACHE STRING "Platform to test")
+set(PLATFORM "odroidc2" CACHE STRING "Platform to test")
 set(FASTPATH ON CACHE BOOL "Turn fastpath on or off")
 set(ARM_HYP OFF CACHE BOOL "ARM EL2 hypervisor features on or off")
 set(MCS OFF CACHE BOOL "MCS kernel")