* Patches by Thomas Viehweger, 16 Mar 2004:
  - show PCI clock frequency on MPC8260 systems
  - add FCC_PSMR_RMII flag for HiP7 processors
  - in do_jffs2_fsload(), take load address from load_addr if not set
    explicit, update load_addr otherwise
  - replaced printf by putc/puts when no formatting is needed
    (smaller code size, faster execution)
diff --git a/rtc/pcf8563.c b/rtc/pcf8563.c
index 97b09b8..05ae97e 100644
--- a/rtc/pcf8563.c
+++ b/rtc/pcf8563.c
@@ -64,7 +64,7 @@
 		rtc_read (0x09) );
 
 	if (sec & 0x80) {
-		printf ("### Warning: RTC Low Voltage - date/time not reliable\n");
+		puts ("### Warning: RTC Low Voltage - date/time not reliable\n");
 	}
 
 	tmp->tm_sec  = bcd2bin (sec  & 0x7F);