[Linaro-acpi] [PATCH 1/4] ARM: EFI: make efi_remap_regions() visible for use in setup_arch()