print out PCI tables

kernel/src/kernelUtil.h

@@ -12,6 +12,7 @@
 #include "paging/paging.h"
 #include "paging/PageTableManager.h"
 #include "userinput/mouse.h"
+#include "acpi.h"
 
 struct BootInfo {
 	Framebuffer* framebuffer;
@@ -19,7 +20,7 @@ struct BootInfo {
 	EFI_MEMORY_DESCRIPTOR* mMap;
 	uint64_t mMapSize;
 	uint64_t mMapDescriptorSize;
-	void* rsdp;
+	ACPI::RSDP2* rsdp;
 };
 
 extern uint64_t _KernelStart;