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