diff --git a/arch/platform/zoul/platform.c b/arch/platform/zoul/platform.c
index f71c9e46a..4e5c7cc39 100644
--- a/arch/platform/zoul/platform.c
+++ b/arch/platform/zoul/platform.c
@@ -124,7 +124,7 @@ rtc_init(void)
    */
 
   /* Get the system date in the following format: wd dd mm yy hh mm ss */
-  PRINTF("Setting RTC from system date: %s\n", DATE);
+  LOG_INFO("Setting RTC from system date: %s\n", DATE);
 
   /* Configure the RTC with the current values */
   td.weekdays = (uint8_t)strtol(DATE, &next, 10);
@@ -149,7 +149,7 @@ rtc_init(void)
 
   /* Set the time and date */
   if(rtcc_set_time_date(&td) == AB08_ERROR) {
-    PRINTF("Failed to set time and date\n");
+    LOG_INFO("Failed to set time and date\n");
   }
 #endif
 #endif