Re: [PATCH] acpi: move acpi_get_rsdp_addr() to acpi/acpi_table.h