[PATCH v2 06/13] x86: Give each driver an IRQ type