Re: [PATCH v3 08/30] acpi: Add fill_madt to acpi_ops