diff --git a/src/cpu/intel/haswell/haswell.h b/src/cpu/intel/haswell/haswell.h
index 5697d0f36e..f63b0ef4b3 100644
--- a/src/cpu/intel/haswell/haswell.h
+++ b/src/cpu/intel/haswell/haswell.h
@@ -4,6 +4,7 @@
 #define _CPU_INTEL_HASWELL_H
 
 #include <cpu/cpu.h>
+#include <stdbool.h>
 #include <stdint.h>
 
 /* CPU types without stepping */
@@ -181,7 +182,7 @@ static inline u32 cpu_stepping(void)
 	return cpuid_eax(1) & 0xf;
 }
 
-static inline int haswell_is_ult(void)
+static inline bool haswell_is_ult(void)
 {
 	return CONFIG(INTEL_LYNXPOINT_LP);
 }