Sorry, here is the patch... ACPI has switched to acpi_find_rsdp(), so srat.c might want to do that too, please check. Thanks, Alex.