Duh, that was really silly. Sorry to bother you guys about something
that turns out to be so trivial, it really seemed like legit issue to me...
Apparently, I was using a non-patched kernel thinking it was a realtime
kernel.
Carlo
Carlo Capocasa wrote: