Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 65f3117b0c526538a5c5e972042a0bf4f1a325e1)
+++ kernel/generic/src/main/main.c	(revision 72ac106d682c5a2dca554337cbc1611901fa41af)
@@ -132,14 +132,12 @@
 };
 
-context_t ctx;
-
-/** Lowest safe stack virtual address. */
-uintptr_t stack_safe = 0;
+static context_t ctx;
 
 // NOTE: All kernel stacks must be aligned to STACK_SIZE, see CURRENT.
-const size_t bootstrap_stack_size = STACK_SIZE;
-_Alignas(STACK_SIZE) uint8_t bootstrap_stack[STACK_SIZE];
+static const size_t bootstrap_stack_size = STACK_SIZE;
+static _Alignas(STACK_SIZE) uint8_t bootstrap_stack[STACK_SIZE];
+
 /* Just a convenient value for some assembly code. */
-const uint8_t *bootstrap_stack_top = bootstrap_stack + STACK_SIZE;
+uint8_t *const bootstrap_stack_top = bootstrap_stack + STACK_SIZE;
 
 /*