picirq.o: picirq.c types.h x86.h traps.h