kernel: set DYNAMIC_THREAD_STACK_SIZE to 4096 for coverage

Increase stack sizes to allow coverage to complete.

Signed-off-by: Anas Nashif <[email protected]>

Author: nashif

kernel/Kconfig

@@ -246,7 +246,7 @@ if DYNAMIC_THREAD
 
 config DYNAMIC_THREAD_STACK_SIZE
 	int "Size of each pre-allocated thread stack"
-	default 4096 if X86
+	default 4096 if X86 || COVERAGE_GCOV
 	default 1024 if !X86 && !64BIT
 	default 2048 if !X86 && 64BIT
 	help