[coreboot-gerrit] Change in coreboot[master]: acpi_table_header: Replace hard-code length via sizeof(acpi_fadt_t)