some work with PCI, updated my TODO

kernel/kmain.c

@@ -10,7 +10,7 @@
 #include <kernel/x86/keyb.h>
 #include <kernel/x86/pit.h>
 
-#include <kernel/x86/pit.h>
+#include <kernel/x86/pci.h>
 
 
 void kmain(void)
@@ -31,7 +31,8 @@ void kmain(void)
 
 	init_pit(0x36, PIT_CHANNEL_0, 0);
 
-	printf("%f\n", get_time_from_divisor(10));
+
+	printf("%d\n", pci_config_read_word(0, 1, 1, 6));
 
 	printf("Entering loop...\n");
 	while (1) {