docs: x86: replace do_IRQ int the entry_64.rst with common_interrupt()