Hi,

I've made the soft IRQ flag feature work on x86_64. It compiles and 
boots for me.
Attached is the patch against -RT-2.6.12-rc6-V0.7.48-01.

Michal