Merge tag 'efi-2023-10-rc3' of https://source.denx.de/u-boot/custodians/u-boot-efi
authorTom Rini <trini@konsulko.com>
Tue, 15 Aug 2023 17:08:17 +0000 (13:08 -0400)
committerTom Rini <trini@konsulko.com>
Tue, 15 Aug 2023 17:08:17 +0000 (13:08 -0400)
Pull request for efi-2023-10-rc3

Documentation:

* Correct description of board_get_usable_ram_top
* Add partition API to HTML documentation
* Describe  lmb_is_reserved
* doc/sphinx/requirements.txt: Bump certifi up

UEFI:

* Fix  efi_add_known_memory
* Make distro_efi_boot() static

Other:

* Correct return type board_get_usable_ram_top


Trivial merge