Hi Rafael,
(resend for broken content)

-----Original Message-----
From: rjwysocki@gmail.com [mailto:rjwysocki@gmail.com] On Behalf Of
Rafael J. Wysocki
Sent: Monday, March 07, 2016 9:19 PM
To: Chen, Yu C
Cc: ACPI Devel Maling List; x86@kernel.org; linux-efi@vger.kernel.org; Linux
Kernel Mailing List; linux-pm@vger.kernel.org; Rafael J. Wysocki; Len Brown;
Matt Fleming; Thomas Gleixner; Ingo Molnar; H. Peter Anvin; Zhang, Rui
Subject: Re: [PATCH][RFC v3] ACPI / PM: Fix poweroff issue on HW-full
platforms without _S5

[cut]

quoted

 bool efi_poweroff_required(void)
 {
-       return !!acpi_gbl_reduced_hardware;
+       return acpi_gbl_reduced_hardware || (acpi_no_s5 &&
+ !pm_power_off);

What if CONFIG_ACPI is not set here?

If CONFIG_ACPI is not set, this file would not 
be compiled, because CONFIG_EFI depends on CONFIG_ACPI.

thanks,
yu