x86_64: prepare shared kernel/acpi/sleep.c