# Pastebin jYGVbz1y
	/*
	 * Generate ACPI tables - we know that efi_allocate_pages() returns
	 * a 4k-aligned address, so it is safe to assume that
	 * write_acpi_tables() will write the table at that address.
	 */
#if 0
	addr = map_to_sysmem((void *)(ulong)acpi);
	printf("EFI copy of ACPI tables at %lx\n", addr);
	write_acpi_tables(addr);
#else
	addr = gd_acpi_start();
	printf("EFI using ACPI tables at %lx\n", addr);
#endif