List PCI devices on boot

kernel/device/device.c

@@ -2,6 +2,7 @@
 #include <device/dos.h>
 #include <device/partdrv.h>
 #include <device/partitions.h>
+#include <device/pci.h>
 #include <device/ramdrv.h>
 #include <device/terminal.h>
 #include <devices.h>
@@ -188,5 +189,6 @@ void devices_init (void) {
 
 #if defined(__x86_64__)
   ps2kb_device_init ();
+  pci_init ();
 #endif
 }