# CONFIG_DEBUG_EFI is not set