[coreboot-gerrit] Change in coreboot[master]: intel/bd82x6x: Use generated ACPI PIRQ