[coreboot-gerrit] Change in coreboot[master]: soc/amd/common/acpi/gpio_bank_lib.asl: Add missing header