soc/amd/picasso/acpi: fix domain argument of acpigen_write_CSD_package

Signed-off-by: Felix Held <felix-coreboot@felixheld.de>
Change-Id: I50e88ac946b9d8797571f9e3d4b325db760e423f
Reviewed-on: https://review.coreboot.org/c/coreboot/+/51932
Reviewed-by: Raul Rangel <rrangel@chromium.org>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>

src/soc/amd/picasso/acpi.c

@@ -354,7 +354,8 @@ void generate_cpu_entries(const struct device *device)
 
 		acpigen_write_CST_package(cstate_info, ARRAY_SIZE(cstate_info));
 
-		acpigen_write_CSD_package(cpu >> 1, threads_per_core, CSD_HW_ALL, 0);
+		acpigen_write_CSD_package(cpu / threads_per_core, threads_per_core,
+					  CSD_HW_ALL, 0);
 
 		acpigen_pop_len();
 	}