[coreboot-gerrit] [S] Change in coreboot[main]: acpi/acpigen: introduce and use ACPIGEN_RSVD_PKGLEN_BYTES