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