Where is the ACPI (Advanced Control and Power Interface) power management dynamic information stored when devfs is compiled into the kernel?