i'd have said that was an old bug fixed by adding fpclear to l.s and main.c
and that kernel is somehow out of date, unless there's a new manifestation.