ACPI: Load OSDT tables from initrd at boot time

(quoted diff) +3 -0

+             p = acpi_os_map_memory(table_offset + acpi_tables_addr,
+                             ACPI_HEADER_SIZE);
+             table = *p;