v1.20.1
[efi] Register a device tree if provided by the platform firmware
[linux] Use dummy SAN device
[acpi] Make acpi_find_rsdt() a per-platform method