[efi] Show manufacturer in veto debug output

Simplify the process of adding new entries to the veto list by
including the manufacturer name within the standard debug output.

Signed-off-by: Michael Brown <mcb30@ipxe.org>

diff --git a/src/interface/efi/efi_veto.c b/src/interface/efi/efi_veto.c
index 19e529af60cf47906dbe6248ee978266971eea59..e4791272b3b930d539759255af3fe59aafa09f1d 100644 (file)
--- a/src/interface/efi/efi_veto.c
+++ b/src/interface/efi/efi_veto.c
@@ -617,6 +617,7 @@ void efi_veto ( void ) {
        /* Get manufacturer name */
        fetch_string_setting_copy ( NULL, &manufacturer_setting,
                                    &manufacturer );
+       DBGC ( &efi_vetoes, "EFIVETO manufacturer is \"%s\"\n", manufacturer );
 
        /* Unload any vetoed drivers */
        for ( i = 0 ; i < num_drivers ; i++ ) {