K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2006-06-01T16:17:44.000000Z
K 7
svn:log
V 132
Don't enable the FIQ in enable_interrupts() if F32_bit is not specified.
This has been committed by mistake.

Reported by:	ssouhlal

END