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>

src/soc/intel/common/block/acpi/acpi.c

@@ -414,7 +414,7 @@ void generate_cpu_entries(const struct device *device)
 			/* 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