diff --git a/repos/base-pistachio/src/core/include/platform_pd.h b/repos/base-pistachio/src/core/include/platform_pd.h
index ab3967ffe5..0a8e5a58ff 100644
--- a/repos/base-pistachio/src/core/include/platform_pd.h
+++ b/repos/base-pistachio/src/core/include/platform_pd.h
@@ -37,7 +37,7 @@ namespace Genode {
 			 */
 			enum {
 				PD_BITS      = 9,
-				THREAD_BITS  = 9,
+				THREAD_BITS  = 7,
 				VERSION_BITS = 14 - 1, /* preserve 1 bit, see 'make_l4_id' */
 				PD_FIRST     = 0,
 				PD_MAX       = (1 << PD_BITS)      - 1,