I guess it's something like a race-condition.
On aranym there's the problem that the VBL-interrupt is not always in time (depending on the load on the host I assume). That's why load-average is often wrong. Maybe that this irregular timer has to do also with the Eiffel-problem? Does the Eiffel software deal with the VBL or other interrupts?
-- Helmut Karlowski