Synch pci ids and registers with Linux kernel source.

Add pci_regs.h and pci_ids.h from kernel repo.
Modify code to use the above includes and to use the kernel definitions.
diff --git a/src/smm.c b/src/smm.c
index 067df0a..4e78a25 100644
--- a/src/smm.c
+++ b/src/smm.c
@@ -9,6 +9,7 @@
 #include "util.h" // wbinvd
 #include "config.h" // CONFIG_*
 #include "ioport.h" // outb
+#include "pci_ids.h" // PCI_VENDOR_ID_INTEL
 
 #if CONFIG_USE_SMM
 asm(