base_sysinfo: add dmidecode to sysinfo, use lspci -vvnn to get both name...

... and PCI device ID in output

We use dmidecode to get BIOS and HW platform information.  Use lspci
-vvnn to get both marketing name and PCI device ID, since we detect hardware based
on PCI device ID only.

Signed-off-by: Ross Brattain <ross.b.brattain@intel.com>