[PATCH] x86_64: avoid wasting IRQs