diff --git a/monitor/src/main.c b/monitor/src/main.c
index 3ab09497..876a33da 100644
--- a/monitor/src/main.c
+++ b/monitor/src/main.c
@@ -79,7 +79,7 @@
  *
  * FIXME: This can be smaller once compression is enabled.
  */
-#define BOOTSTRAP_INVOCATION_DATA_SIZE 110
+#define BOOTSTRAP_INVOCATION_DATA_SIZE 150
 
 seL4_IPCBuffer *__sel4_ipc_buffer;