src/console: Fix coding style

Change-Id: I57724262ade87e7907d31ea66e4f1b9c382ef3db
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/26303
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>

src/console/printk.c

@@ -78,7 +78,7 @@ int do_printk(int msg_level, const char *fmt, ...)
 	return i;
 }
 
-#if IS_ENABLED (CONFIG_VBOOT)
+#if IS_ENABLED(CONFIG_VBOOT)
 void do_printk_va_list(int msg_level, const char *fmt, va_list args)
 {
 	if (!console_log_level(msg_level))