Re: [PATCH 29/40] x86: Move acpi_get_rsdp_addr() ACPI tables to the writer