--- rc.S.new.orig	2006-09-02 11:30:47.000000000 +0100
+++ rc.S.new	2006-09-02 11:31:21.000000000 +0100
@@ -198,6 +198,10 @@
   fi
 fi
 
+# unless it's a RiscPC - until the Kernel is fixed, at least:
+if [ ! -z "`grep RiscPC /proc/cpuinfo`" ]; then
+  echo "RiscPC architecture detected - not using RTC to set system time"
+ else
 # Set the system time from the hardware clock using hwclock --hctosys.
 if [ -x /sbin/hwclock ]; then
   # Check for a broken motherboard RTC clock (where ioports for rtc are
@@ -213,6 +217,7 @@
     /sbin/hwclock $CLOCK_OPT --localtime --hctosys
   fi
 fi
+fi
 
 # Configure ISA Plug-and-Play devices:
 if [ -r /etc/isapnp.conf ]; then
