# CONFIG_ARCH_HIBERNATION_HEADER is not set
