[PATCH] efi_loader: Don't carve out memory reservations too early