u-boot-rpi* has the existing "make first page reserved" code (shown); this appears to be where any fix would go

[Kyle Evans]

On Thu, Feb 13, 2020 at 1:43 PM Mark Millard <marklmi at yahoo.com> wrote:
> [ ... trim ...]
>
> int ft_board_setup(void *blob, bd_t *bd)
> {
>         /*
>          * For now, we simply always add the simplefb DT node. Later, we
>          * should be more intelligent, and e.g. only do this if no enabled DT
>          * node exists for the "real" graphics driver.
>          */
>         lcd_dt_simplefb_add_node(blob);
>
> #ifdef CONFIG_EFI_LOADER
>         /* Reserve the spin table */
>         efi_add_memory_map(0, 1, EFI_RESERVED_MEMORY_TYPE, 0);
> #endif
>         return 0;
> }
>
> [... more trim ...]

This is largely irrelevant unless we're consulting either or both of
/reserved-memory and the EFI memory map. memreserve and the memory map
from U-Boot should likely both be fixed to reflect reality.