Merge tag 'efi-2023-01-rc4' of https://source.denx.de/u-boot/custodians/u-boot-efi
authorTom Rini <trini@konsulko.com>
Sun, 18 Dec 2022 13:10:09 +0000 (08:10 -0500)
committerTom Rini <trini@konsulko.com>
Sun, 18 Dec 2022 13:10:09 +0000 (08:10 -0500)
Pull request for efi-2023-01-rc4

Documentation:

* Fix htmldoc build dependency

UEFI:

* Adjust EBBR version for compatibility table


Trivial merge