x86, trace: Add irq vector tracepoints