Probing PIRQ table in memory.
Found PCI IRQ routing table signature at 0xfdf40.
Validating... checksum is ok.
Creating irq_tables.c ...
Done, you can move the file to the coreboot tree now.