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>

src/mainboard/compulab/intense_pc/devicetree.cb

@@ -15,7 +15,7 @@ chip northbridge/intel/sandybridge # FIXME: check gfx
 			device lapic 0xacac off end
 		end
 	end
-	device domain 0x0 on
+	device domain 0 on
 		device pci 00.0 on	# Host bridge
 			subsystemid 0x8086 0x2010
 		end