I worked overnight on the softfp builder issues and found a problem with
swap. I've switched to swap-on-SD on 6-5 and upgraded to Dennis' latest
kernel, and both seem to be working OK. A kernel is currently building
to give a bit of stress-test
(
http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=237408).
The Seneca team will roll out these changes across at least two groups
of softfp builders in the morning.
-Chris