Use the boot critical section

exosphere/src/warmboot_main.c

@@ -1,10 +1,9 @@
 #include "utils.h"
 #include "mmu.h"
 #include "memory_map.h"
-
-/* start.s */
-void __jump_to_lower_el(uint64_t arg, uintptr_t ep, unsigned int el);
+#include "cpu_context.h"
 
 void warmboot_main(void) {
-    /* TODO */
+    /* TODO: lots of stuff */
+    core_jump_to_lower_el();
 }