dmidecode: Display IPMI interrupt number as decimal

It is very unusual to use an hexadecimal number to refer to an
interrupt number.

Signed-off-by: Jean Delvare <[email protected]>
Fixes: a756041 ("Finished decoding of DMI type 38 (IPMI).")
Reviewed-by: Anton Arapov <[email protected]>

Author: jdelvare

CHANGELOG

@@ -2,6 +2,8 @@
 
 	* dmidecode.c: Decode the processor ID of the Intel Core M, AMD
 	  Athlon X4 and AMD Opteron X1000/X2000 processors (DMI type 4).
+	* dmidecode.c: Display the IPMI interrupt number as a decimal
+	  number (DMI type 38).
 
 2017-01-20  Jean Delvare  <[email protected]>
 

dmidecode.c

@@ -4248,7 +4248,7 @@ static void dmi_decode(const struct dmi_header *h, u16 ver)
 			}
 			if (data[0x11] != 0x00)
 			{
-				printf("\tInterrupt Number: %x\n",
+				printf("\tInterrupt Number: %u\n",
 					data[0x11]);
 			}
 			break;