diff --git a/src/include/acpi/acpi.h b/src/include/acpi/acpi.h
index 4d9599dac7..06dba65738 100644
--- a/src/include/acpi/acpi.h
+++ b/src/include/acpi/acpi.h
@@ -1967,12 +1967,12 @@ int acpi_get_gpe(int gpe);
 
 /* Once we enter payload, is SMI handler installed and capable of
    responding to APM_CNT Advanced Power Management Control commands. */
-static inline int permanent_smi_handler(void)
+static inline bool permanent_smi_handler(void)
 {
 	return CONFIG(HAVE_SMI_HANDLER);
 }
 
-static inline int acpi_s3_resume_allowed(void)
+static inline bool acpi_s3_resume_allowed(void)
 {
 	return CONFIG(HAVE_ACPI_RESUME);
 }