[coreboot-gerrit] Change in coreboot[master]: AGESA binaryPI: Use common acpi_fill_madt()