diff --git a/src/mainboard/lippert/frontrunner-af/dsdt.asl b/src/mainboard/lippert/frontrunner-af/dsdt.asl
index 67f71cbfe7..07b50713c7 100644
--- a/src/mainboard/lippert/frontrunner-af/dsdt.asl
+++ b/src/mainboard/lippert/frontrunner-af/dsdt.asl
@@ -58,34 +58,21 @@ DefinitionBlock (
 	 *
 	 */
 	Scope (\_PR) {		/* define processor scope */
-		Processor(
-			C000,		/* name space name, align with BLDCFG_PROCESSOR_SCOPE_NAME[01] */
-			0,		/* Unique number for this processor */
-			0x810,		/* PBLK system I/O address !hardcoded! */
-			0x06		/* PBLKLEN for boot processor */
-			) {
+		Device (C000) {
+		Name (_HID, "ACPI0007")
+		Name (_UID, 0)
 		}
-
-		Processor(
-			C001,		/* name space name */
-			1,		/* Unique number for this processor */
-			0x810,		/* PBLK system I/O address !hardcoded! */
-			0x06		/* PBLKLEN for boot processor */
-			) {
+		Device (C001) {
+		Name (_HID, "ACPI0007")
+		Name (_UID, 1)
 		}
-		Processor(
-			C002,		/* name space name */
-			2,		/* Unique number for this processor */
-			0x810,		/* PBLK system I/O address !hardcoded! */
-			0x06		/* PBLKLEN for boot processor */
-			) {
+		Device (C002) {
+		Name (_HID, "ACPI0007")
+		Name (_UID, 2)
 		}
-		Processor(
-			C003,		/* name space name */
-			3,		/* Unique number for this processor */
-			0x810,		/* PBLK system I/O address !hardcoded! */
-			0x06		/* PBLKLEN for boot processor */
-			) {
+		Device (C003) {
+		Name (_HID, "ACPI0007")
+		Name (_UID, 3)
 		}
 	} /* End _PR scope */
 
diff --git a/src/mainboard/lippert/toucan-af/dsdt.asl b/src/mainboard/lippert/toucan-af/dsdt.asl
index df49001676..347f1a1a02 100644
--- a/src/mainboard/lippert/toucan-af/dsdt.asl
+++ b/src/mainboard/lippert/toucan-af/dsdt.asl
@@ -58,34 +58,21 @@ DefinitionBlock (
 	 *
 	 */
 	Scope (\_PR) {		/* define processor scope */
-		Processor(
-			C000,		/* name space name, align with BLDCFG_PROCESSOR_SCOPE_NAME[01] */
-			0,		/* Unique number for this processor */
-			0x810,		/* PBLK system I/O address !hardcoded! */
-			0x06		/* PBLKLEN for boot processor */
-			) {
+		Device (C000) {
+		Name (_HID, "ACPI0007")
+		Name (_UID, 0)
 		}
-
-		Processor(
-			C001,		/* name space name */
-			1,		/* Unique number for this processor */
-			0x810,		/* PBLK system I/O address !hardcoded! */
-			0x06		/* PBLKLEN for boot processor */
-			) {
+		Device (C001) {
+		Name (_HID, "ACPI0007")
+		Name (_UID, 1)
 		}
-		Processor(
-			C002,		/* name space name */
-			2,		/* Unique number for this processor */
-			0x810,		/* PBLK system I/O address !hardcoded! */
-			0x06		/* PBLKLEN for boot processor */
-			) {
+		Device (C002) {
+		Name (_HID, "ACPI0007")
+		Name (_UID, 2)
 		}
-		Processor(
-			C003,		/* name space name */
-			3,		/* Unique number for this processor */
-			0x810,		/* PBLK system I/O address !hardcoded! */
-			0x06		/* PBLKLEN for boot processor */
-			) {
+		Device (C003) {
+		Name (_HID, "ACPI0007")
+		Name (_UID, 3)
 		}
 	} /* End _PR scope */