disable temporaly the PCI suppoert

this currently not required because we don't have a valid PCI driver...

hermit/arch/x86/include/asm/processor.h

@@ -676,7 +676,7 @@ inline static int system_init(void)
 {
 	gdt_install();
 	cpu_detection();
-	pci_init();
+	//pci_init();
 
 	return 0;
 }

hermit/arch/x86/kernel/pci.c

@@ -25,6 +25,7 @@
  * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
+#if 0
 #include <hermit/stdio.h>
 #include <hermit/string.h>
 #include <hermit/errno.h>
@@ -214,3 +215,5 @@ int print_pci_adapters(void)
 
 	return 0;
 }
+
+#endif