Merge branch 'irq/for-x86' into irq/core