. "I think the problem is that acpi_wakecode.h is a generated file, and" . . .