[coreboot] Patch merged into coreboot/master: f8fcd70 Merge sb800 fadt fixes from South Station mainboard to southbridge fadt.