acpi: Rename motherboard_fill_fadt() to mainboard_fill_fadt()