[coreboot-gerrit] Change in coreboot[master]: asus/a88xm-e: properly program the IRQ tables