Ingo Molnar wrote:
> indeed - new patch uploaded.

The attached patch against V0.7.48-04 replaces some more local_irq_* 
operation with their raw variants on x86_64. It should be the equivalent 
of your changes done for i386 in -V0.7.48-02.

Michal