diff --git a/devicemodel/hw/platform/acpi/acpi_pm.c b/devicemodel/hw/platform/acpi/acpi_pm.c
index accf48231..0a17f0a3c 100644
--- a/devicemodel/hw/platform/acpi/acpi_pm.c
+++ b/devicemodel/hw/platform/acpi/acpi_pm.c
@@ -324,8 +324,11 @@ void pm_write_dsdt(struct vmctx *ctx, int ncpu)
 	dsdt_line("  Scope (_PR)");
 	dsdt_line("  {");
 	for (i = 0; i < ncpu; i++) {
-		dsdt_line("    Processor (CPU%d, 0x%02X, 0x00000000, 0x00) {}",
-					i, i);
+		dsdt_line("    Device (CPU%d)", i);
+		dsdt_line("    {");
+		dsdt_line("        Name (_HID, \"ACPI0007\")");
+		dsdt_line("        Name (_UID, 0x%02X)", i);
+		dsdt_line("    }");
 	}
 	dsdt_line("  }");
 	dsdt_line("");