+
+config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
+ hex
+ default 0x8086
+ depends on BOARD_INTEL_MTARVON
+
+config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
+ hex
+ default 0x2680
+ depends on BOARD_INTEL_MTARVON
+
+config MAX_CPUS
+ int
+ default 4
+ depends on BOARD_INTEL_MTARVON