diff --git a/base-hw/src/core/kernel/processor_pool.h b/base-hw/src/core/kernel/processor_pool.h
index fee399ccf9..61c9097088 100644
--- a/base-hw/src/core/kernel/processor_pool.h
+++ b/base-hw/src/core/kernel/processor_pool.h
@@ -48,7 +48,7 @@ class Kernel::Idle_thread : public Thread
 	private:
 
 		enum {
-			STACK_SIZE   = 4 * 1024,
+			STACK_SIZE   = sizeof(addr_t) * 32,
 			STACK_ALIGNM = Processor_driver::DATA_ACCESS_ALIGNM,
 		};