This patch is hack that makes the RT-kernel compile again when
CONFIG_GENERIC_TIME is NOT set. Probably every architecture
has the same problem because the read_seqbegin_irqsave() macro
has been changed to something not returning anything.

Signed-off-by: Remy Bohmer <linux@bohmer.net>
---
 arch/arm/kernel/time.c |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

Index: linux-2.6.23/arch/arm/kernel/time.c
===================================================================
--- linux-2.6.23.orig/arch/arm/kernel/time.c	2007-10-16 09:17:25.000000000 +0200
+++ linux-2.6.23/arch/arm/kernel/time.c	2007-10-16 10:08:02.000000000 +0200
@@ -251,7 +251,8 @@ void do_gettimeofday(struct timeval *tv)
 	unsigned long usec, sec;
 
 	do {
-		seq = read_seqbegin_irqsave(&xtime_lock, flags);
+		read_seqbegin_irqsave(&xtime_lock, flags);
+		seq = xtime_lock.sequence;
 		usec = system_timer->offset();
 		sec = xtime.tv_sec;
 		usec += xtime.tv_nsec / 1000;