Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 84239b1cd7c5ed286263ce4edb649da00b34b249)
+++ kernel/generic/src/console/console.c	(revision 2f1c88e88f3d33245f94ca59d2b772d4dd5d1f56)
@@ -64,5 +64,5 @@
 
 /** Kernel log initialized */
-static atomic_t kio_inited = {false};
+static atomic_t kio_inited = { false };
 
 /** First kernel log characters */