acpi: factor out fw_cfg_add_acpi_dsdt()