x86/irq: Use cached IOAPIC entry instead of reading from hardware