diff --git a/src/soc/intel/skylake/acpi/platform.asl b/src/soc/intel/skylake/acpi/platform.asl
index 19345b21db..36c3ae3915 100644
--- a/src/soc/intel/skylake/acpi/platform.asl
+++ b/src/soc/intel/skylake/acpi/platform.asl
@@ -18,32 +18,6 @@
 /* Enable ACPI _SWS methods */
 #include <soc/intel/common/acpi/acpi_wake_source.asl>
 
-/* Port 80 POST */
-
-OperationRegion (POST, SystemIO, 0x80, 1)
-Field (POST, ByteAcc, Lock, Preserve)
-{
-	DBG0, 8
-}
-
-/* IO-Trap at 0x800.
- * This is the ACPI->SMI communication interface.
- */
-OperationRegion (IO_T, SystemIO, 0x800, 0x10)
-Field (IO_T, ByteAcc, NoLock, Preserve)
-{
-	Offset (0x8),
-	TRP0, 8		/* IO-Trap at 0x808 */
-}
-
-/* SMI I/O Trap */
-Method (TRAP, 1, Serialized)
-{
-	Store (Arg0, SMIF)	// SMI Function
-	Store (0, TRP0)		// Generate trap
-	Return (SMIF)		// Return value of SMI handler
-}
-
 /*
  * The _PIC method is called by the OS to choose between interrupt
  * routing via the i8259 interrupt controller or the APIC.