Create irqs-8064.h