soc/intel/common: Fix acpigen use for processor Device

Change-Id: Ib4e21732ac31076a1a97a774e03c8466d17c5f29
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/74395
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
diff --git a/src/soc/intel/common/block/acpi/acpi.c b/src/soc/intel/common/block/acpi/acpi.c
index 4b790b7..4139054 100644
--- a/src/soc/intel/common/block/acpi/acpi.c
+++ b/src/soc/intel/common/block/acpi/acpi.c
@@ -414,7 +414,7 @@
 			/* Soc specific power states generation */
 			soc_power_states_generation(core_id, num_virt);
 
-			acpigen_pop_len();
+			acpigen_write_processor_device_end();
 		}
 	}
 	/* PPKG is usually used for thermal management