fixed bug in x86_generate_irq
Fixed bug in reading PIC ISR and spurious IRQ detection