Hardware enumeration's only done once. It'll typically be a matter of pulling a device tree out of ACPI, adding on any additional enumerated PCI or USB devices. Beyond that? I don't think the driver model handles parallel driver init, but haven't looked closely. Remember that we're talking about something that's closer to DOS than anything with a scheduler.