[PATCH v9 08/37] acpi: Add fill_madt to acpi_ops