undo "x86: fix breakage of vSMP irq operations"