diff --git a/repos/base-sel4/patches/wand_quad.config b/repos/base-sel4/patches/wand_quad.config
index f8072a111..7090ad42d 100644
--- a/repos/base-sel4/patches/wand_quad.config
+++ b/repos/base-sel4/patches/wand_quad.config
@@ -25,9 +25,11 @@
  #define CONFIG_NUM_PRIORITIES 256
  #define CONFIG_TESTPRINTER_REGEX ".*"
  #define CONFIG_APP_SEL4TEST 1
-@@ -93,3 +93,5 @@
+@@ -93,3 +93,7 @@
  #define CONFIG_BUILDSYS_USE_CCACHE 1
  #define CONFIG_MAX_NUM_NODES 1
  #define CONFIG_KERNEL_STACK_BITS 12
 +#define CONFIG_ENABLE_BENCHMARKS 1
 +#define CONFIG_BENCHMARK_TRACK_UTILISATION 1
++#define CONFIG_HAVE_FPU 1
++#define CONFIG_FPU_MAX_RESTORES_SINCE_SWITCH 64
diff --git a/repos/base-sel4/ports/sel4.hash b/repos/base-sel4/ports/sel4.hash
index ce041d091..f106f2f3c 100644
--- a/repos/base-sel4/ports/sel4.hash
+++ b/repos/base-sel4/ports/sel4.hash
@@ -1 +1 @@
-3c0361f787c7ecfebb40f1c64690c80a7e3a9b8c
+919f7abe5ec07414ed7ee9a47c4a52e86aa076ab
diff --git a/repos/base-sel4/ports/sel4.port b/repos/base-sel4/ports/sel4.port
index 7d5e39810..5ae0440e0 100644
--- a/repos/base-sel4/ports/sel4.port
+++ b/repos/base-sel4/ports/sel4.port
@@ -15,6 +15,8 @@ $(call check_python_module,six)
 
 PATCHES   := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
 
+HASH_INPUT += $(REP_DIR)/patches/wand_quad.config
+
 # adjust kernel config usable on qemu and on native hw, and add a 32bit version
 default: $(DOWNLOADS)
 	$(VERBOSE)mkdir -p src/kernel/sel4/configs/pc99/x86_64