diff --git a/src/drivers/intel/gma/acpi/configure_brightness_levels.asl b/src/drivers/intel/gma/acpi/configure_brightness_levels.asl
index 852c96e898..5adb1a2a32 100644
--- a/src/drivers/intel/gma/acpi/configure_brightness_levels.asl
+++ b/src/drivers/intel/gma/acpi/configure_brightness_levels.asl
@@ -58,7 +58,7 @@
 				Local1 = 255
 			}
 			/* also set valid bit */
-			BCLP = Or (Local1, 0x80000000)
+			BCLP = Local1 | 0x80000000
 
 			If (ARDY == 0)
 			{
diff --git a/src/ec/lenovo/h8/acpi/battery.asl b/src/ec/lenovo/h8/acpi/battery.asl
index ae07540fbc..392a8ed441 100644
--- a/src/ec/lenovo/h8/acpi/battery.asl
+++ b/src/ec/lenovo/h8/acpi/battery.asl
@@ -149,7 +149,7 @@ Method(BSTA, 4, NotSerialized)
 Method(BINF, 2, Serialized)
 {
 	Acquire(ECLK, 0xffff)
-	^BPAG(Or(1, Arg1)) /* Battery 0 static information */
+	^BPAG(1 | Arg1) /* Battery 0 static information */
 	Arg0 [0] = BAMA ^ 1
 	Local0 = BAMA
 	^BPAG(Arg1)
@@ -181,7 +181,7 @@ Method(BINF, 2, Serialized)
 	}
 	Arg0 [10] = SERN // Serial Number
 
-	^BPAG(Or(4, Arg1))
+	^BPAG(4 | Arg1)
 	Name (TYPE, Buffer() { 0, 0, 0, 0, 0 })
 	TYPE = BATY
 	Arg0 [11] = TYPE // Battery type
diff --git a/src/ec/lenovo/h8/acpi/ec.asl b/src/ec/lenovo/h8/acpi/ec.asl
index 314ab04a85..95841d3dd6 100644
--- a/src/ec/lenovo/h8/acpi/ec.asl
+++ b/src/ec/lenovo/h8/acpi/ec.asl
@@ -92,7 +92,7 @@ Device(EC)
 	/* Not used for coreboot. Provided for compatibility with thinkpad-acpi.  */
 	Method (LED, 2, NotSerialized)
 	{
-		TLED(Or(Arg0, Arg1))
+		TLED(Arg0 | Arg1)
 	}
 
 	Method (_INI, 0, NotSerialized)