Hi,

Here are the first events noticed since I turned on 
CONFIG_DEBUG_OBJECTS_TIMERS option.

First a kernel BUG, second a kernel panic.

Best regards,

Bernard Pidoux