dev: implement driver objects to organise and identify devices

arch/x86_64/acpi/acpi.c

@@ -22,7 +22,7 @@ kern_status_t acpi_init(void)
 	acpi_dev->b_ops = &acpi_ops;
 	snprintf(base->dev_name, sizeof base->dev_name, "acpi");
 
-	device_register(base, root_device());
+	device_register(base, system_driver(), root_device());
 
 	return KERN_OK;
 }

arch/x86_64/init.c

@@ -1,5 +1,6 @@
 #include <socks/pmap.h>
 #include <socks/device.h>
+#include <socks/kext.h>
 #include <socks/clock.h>
 #include <socks/types.h>
 #include <socks/object.h>
@@ -79,6 +80,8 @@ int ml_init(uintptr_t arg)
 	vm_bootstrap(vm_zones, sizeof vm_zones / sizeof vm_zones[0]);
 
 	object_bootstrap();
+	init_kernel_kext();
+
 	sched_init();
 
 	device_init();