On Mon, 5 Feb 2024, Michael van Elst wrote:
Our UEFI bootloader creates a fake DTB when it gets information about ACPI being in charge and the kernel uses the ACPI attachments instead of fdt or platform attachments.
It can also use the dtb from the uefi firmware (acpi+dtb), isn't it? adr