Merge in EFI memblock changes from Ard, which form the preparatory work for UEFI support on 32-bit ARM.