Hi, I didn't remember correctly the kernel print I saw running the test we
were talking yesterday night.

The message was either

8.out PID: tsleep timer active: mode 0, tf 0xf0212b63, pc 0xf022116c