Re: [PATCH] efi_loader: replace board_get_usable_ram_top by gd->ram_top