[smbios] Print SMBIOS version number in debugging messages

diff --git a/src/arch/i386/firmware/pcbios/smbios.c b/src/arch/i386/firmware/pcbios/smbios.c
index 875d421b49b32f118d68b5481126a1bd080bde97..a2cb3b883d8fb450c203df1ac1b2860e81dbaa16 100644 (file)
--- a/src/arch/i386/firmware/pcbios/smbios.c
+++ b/src/arch/i386/firmware/pcbios/smbios.c
@@ -136,8 +136,8 @@ static int find_smbios ( void ) {
                }
 
                /* Fill result structure */
-               DBG ( "Found SMBIOS entry point at %04x:%04x\n",
-                     BIOS_SEG, offset );
+               DBG ( "Found SMBIOS v%d.%d entry point at %04x:%04x\n",
+                     u.entry.major, u.entry.minor, BIOS_SEG, offset );
                smbios.address = phys_to_user ( u.entry.smbios_address );
                smbios.len = u.entry.smbios_len;
                smbios.count = u.entry.smbios_count;