minix3/drivers/power/acpi/utdebug.o