coreboot

diff --git a/grub-core/kern/arm/coreboot/init.c b/grub-core/kern/arm/coreboot/init.c
index 4af2907e164c689ef7803a24159e22609807f329..6953fb92ab25ce9922e636098c303ae18a4b2fbf 100644 (file)
--- a/grub-core/kern/arm/coreboot/init.c
+++ b/grub-core/kern/arm/coreboot/init.c
@@ -112,6 +112,8 @@ iterate_linuxbios_table (grub_linuxbios_table_item_t table_item, void *data __at
          dtb = table_item + 1;
          dtb_size = table_item->size;
        }
+      else
+       grub_printf ("Invalid DTB supplied by coreboot\n");
       return 0;
     }
   return 0;