[coreboot-gerrit] Change in ...coreboot[master]: {mb,sb}/fadt.c: Use sizeof(acpi_fadt_t) for header length