[PATCH 2/2] rpi: use the newly-added RPI_EFI_NR_SPIN_PAGES

[Kyle Evans]

On Wed, May 13, 2020 at 7:13 AM Matthias Brugger <mbrugger at suse.com> wrote:
>
> On 26/02/2020 22:39, kevans at FreeBSD.org wrote:
> > From: Kyle Evans <kevans at FreeBSD.org>
> >
> > Some systems may use a slightly larger stub to do PSCI for booting the RPi
> > family.  The number of pages has been made configurable so that operating
> > systems building U-Boot for use in these kinds of environments can reserve
> > more memory in the EFI memory map.
> >
> > Signed-off-by: Kyle Evans <kevans at FreeBSD.org>
> > ---
>
> Queued now for rpi-next
>
> Sorry for the far to long delay
>

No worries, thanks! =-)