mainboard: Use decimal for `device domain 0x0 on`

Most boards use `device domain 0 on` with zero written in decimal.
For the sake of consistency, update the remaining boards to follow suit.

Change-Id: I6e2f0a19d57cfe6fc4e4ac4d14310133ad6b01d8
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/54358
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
diff --git a/src/mainboard/hp/compaq_8200_elite_sff/devicetree.cb b/src/mainboard/hp/compaq_8200_elite_sff/devicetree.cb
index b3b670e..8b9a093 100644
--- a/src/mainboard/hp/compaq_8200_elite_sff/devicetree.cb
+++ b/src/mainboard/hp/compaq_8200_elite_sff/devicetree.cb
@@ -16,7 +16,7 @@
 		end
 	end
 
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x103c 0x1495 inherit
 
 		device pci 00.0 on  end	# Host bridge Host bridge
diff --git a/src/mainboard/hp/folio_9480m/devicetree.cb b/src/mainboard/hp/folio_9480m/devicetree.cb
index a56a48b..fca4f16 100644
--- a/src/mainboard/hp/folio_9480m/devicetree.cb
+++ b/src/mainboard/hp/folio_9480m/devicetree.cb
@@ -19,7 +19,7 @@
 			device lapic 0xacac off end
 		end
 	end
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x103c 0x22da inherit
 		device pci 00.0 on end # Host bridge
 		device pci 02.0 on end # Internal graphics VGA controller
diff --git a/src/mainboard/hp/snb_ivb_laptops/devicetree.cb b/src/mainboard/hp/snb_ivb_laptops/devicetree.cb
index c57ffb6..4cdda4e 100644
--- a/src/mainboard/hp/snb_ivb_laptops/devicetree.cb
+++ b/src/mainboard/hp/snb_ivb_laptops/devicetree.cb
@@ -24,7 +24,7 @@
 			device lapic 0xacac off end
 		end
 	end
-	device domain 0x0 on
+	device domain 0 on
 
 		device pci 00.0 on  end	# Host bridge
 
diff --git a/src/mainboard/hp/snb_ivb_laptops/variants/2570p/overridetree.cb b/src/mainboard/hp/snb_ivb_laptops/variants/2570p/overridetree.cb
index 216fe2e..d89492f 100644
--- a/src/mainboard/hp/snb_ivb_laptops/variants/2570p/overridetree.cb
+++ b/src/mainboard/hp/snb_ivb_laptops/variants/2570p/overridetree.cb
@@ -4,7 +4,7 @@
 	register "gpu_cpu_backlight" = "0x00000437"
 	register "gpu_panel_power_backlight_off_delay" = "2300"
 	register "gpu_pch_backlight" = "0x0d9c0d9c"
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x103c 0x17df inherit
 
 		device pci 01.0 off end	# PCIe Bridge for discrete graphics
diff --git a/src/mainboard/hp/snb_ivb_laptops/variants/2760p/overridetree.cb b/src/mainboard/hp/snb_ivb_laptops/variants/2760p/overridetree.cb
index 5f2adfa..d911112 100644
--- a/src/mainboard/hp/snb_ivb_laptops/variants/2760p/overridetree.cb
+++ b/src/mainboard/hp/snb_ivb_laptops/variants/2760p/overridetree.cb
@@ -4,7 +4,7 @@
 	register "gpu_cpu_backlight" = "0x00000129"
 	register "gpu_panel_power_backlight_off_delay" = "2000"
 	register "gpu_pch_backlight" = "0x02880288"
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x103c 0x162a inherit
 
 		device pci 01.0 off end	# PCIe Bridge for discrete graphics
diff --git a/src/mainboard/hp/snb_ivb_laptops/variants/8460p/overridetree.cb b/src/mainboard/hp/snb_ivb_laptops/variants/8460p/overridetree.cb
index 357e24a..02dc6a4 100644
--- a/src/mainboard/hp/snb_ivb_laptops/variants/8460p/overridetree.cb
+++ b/src/mainboard/hp/snb_ivb_laptops/variants/8460p/overridetree.cb
@@ -4,7 +4,7 @@
 	register "gpu_cpu_backlight" = "0x00000129"
 	register "gpu_panel_power_backlight_off_delay" = "2000"
 	register "gpu_pch_backlight" = "0x02880288"
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x103c 0x161c inherit
 
 		device pci 01.0 on  end	# PCIe Bridge for discrete graphics
diff --git a/src/mainboard/hp/snb_ivb_laptops/variants/8470p/overridetree.cb b/src/mainboard/hp/snb_ivb_laptops/variants/8470p/overridetree.cb
index b710b25..729db13 100644
--- a/src/mainboard/hp/snb_ivb_laptops/variants/8470p/overridetree.cb
+++ b/src/mainboard/hp/snb_ivb_laptops/variants/8470p/overridetree.cb
@@ -4,7 +4,7 @@
 	register "gpu_cpu_backlight" = "0x00000385"
 	register "gpu_panel_power_backlight_off_delay" = "2000"
 	register "gpu_pch_backlight" = "0x0d9c0d9c"
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x103c 0x179b inherit
 
 		device pci 01.0 on  end	# PCIe Bridge for discrete graphics
diff --git a/src/mainboard/hp/snb_ivb_laptops/variants/8770w/overridetree.cb b/src/mainboard/hp/snb_ivb_laptops/variants/8770w/overridetree.cb
index 7bffd68..7244acd 100644
--- a/src/mainboard/hp/snb_ivb_laptops/variants/8770w/overridetree.cb
+++ b/src/mainboard/hp/snb_ivb_laptops/variants/8770w/overridetree.cb
@@ -1,7 +1,7 @@
 # SPDX-License-Identifier: GPL-2.0-or-later
 
 chip northbridge/intel/sandybridge
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x103c 0x176c inherit
 
 		device pci 01.0 on	# PCIe Bridge for discrete graphics
diff --git a/src/mainboard/hp/snb_ivb_laptops/variants/folio_9470m/overridetree.cb b/src/mainboard/hp/snb_ivb_laptops/variants/folio_9470m/overridetree.cb
index b8ddd69..1eb9c4c 100644
--- a/src/mainboard/hp/snb_ivb_laptops/variants/folio_9470m/overridetree.cb
+++ b/src/mainboard/hp/snb_ivb_laptops/variants/folio_9470m/overridetree.cb
@@ -4,7 +4,7 @@
 	register "gpu_cpu_backlight" = "0x00000d9c"
 	register "gpu_panel_power_backlight_off_delay" = "2000"
 	register "gpu_pch_backlight" = "0x0d9c0d9c"
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x103c 0x18df inherit
 
 		device pci 01.0 off end	# PCIe Bridge for discrete graphics
diff --git a/src/mainboard/hp/snb_ivb_laptops/variants/revolve_810_g1/overridetree.cb b/src/mainboard/hp/snb_ivb_laptops/variants/revolve_810_g1/overridetree.cb
index af43af7..68b6daa 100644
--- a/src/mainboard/hp/snb_ivb_laptops/variants/revolve_810_g1/overridetree.cb
+++ b/src/mainboard/hp/snb_ivb_laptops/variants/revolve_810_g1/overridetree.cb
@@ -4,7 +4,7 @@
 	register "gpu_cpu_backlight" = "0x00000263"
 	register "gpu_panel_power_backlight_off_delay" = "2000"
 	register "gpu_pch_backlight" = "0x02880288"
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x103c 0x18f8 inherit
 
 		device pci 01.0 off end	# PCIe Bridge for discrete graphics
diff --git a/src/mainboard/hp/z220_sff_workstation/devicetree.cb b/src/mainboard/hp/z220_sff_workstation/devicetree.cb
index d884635..fd75b1a 100644
--- a/src/mainboard/hp/z220_sff_workstation/devicetree.cb
+++ b/src/mainboard/hp/z220_sff_workstation/devicetree.cb
@@ -16,7 +16,7 @@
 		end
 	end
 
-	device domain 0x0 on
+	device domain 0 on
 		subsystemid 0x103c 0x1791 inherit
 
 		device pci 00.0 on  end	# Host bridge Host bridge