[PATCH] docs/efi: Fix wrong compatible in dts example

[Luca Fancellu <luca.fancellu@xxxxxxx>]

The example in section "UEFI boot and dom0less on ARM" has
a wrong compatible for the DTB passthrough, it is "ramdisk"
instead of "device-tree".
This patch fixes the example.

Fixes: a1743fc3a9 ("arm/efi: Use dom0less configuration when using EFI boot")
Signed-off-by: Luca Fancellu <luca.fancellu@xxxxxxx>
---
Question: Does it makes sense to backport it to 4.16?
---
 docs/misc/efi.pandoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/misc/efi.pandoc b/docs/misc/efi.pandoc
index 4abbb5bb82..abafb34527 100644
--- a/docs/misc/efi.pandoc
+++ b/docs/misc/efi.pandoc
@@ -222,7 +222,7 @@ domU1 {
                xen,uefi-binary = "initrd-3.0.31-0.4-xen";
        };
        module@3 {
-               compatible = "multiboot,ramdisk", "multiboot,module";
+               compatible = "multiboot,device-tree", "multiboot,module";
                xen,uefi-binary = "passthrough.dtb";
        };
 };
-- 
2.17.1