diff --git a/src/mainboard/samsung/lumpy/Kconfig b/src/mainboard/samsung/lumpy/Kconfig
index f9710e5519..d0574bbbed 100644
--- a/src/mainboard/samsung/lumpy/Kconfig
+++ b/src/mainboard/samsung/lumpy/Kconfig
@@ -1,8 +1,5 @@
 if BOARD_SAMSUNG_LUMPY
 
-config IGNORE_IASL_MISSING_DEPENDENCY
-	def_bool y
-
 config BOARD_SPECIFIC_OPTIONS
 	def_bool y
 	select SYSTEM_TYPE_LAPTOP
diff --git a/src/mainboard/samsung/stumpy/Kconfig b/src/mainboard/samsung/stumpy/Kconfig
index 13b0eacbf9..2a706b992b 100644
--- a/src/mainboard/samsung/stumpy/Kconfig
+++ b/src/mainboard/samsung/stumpy/Kconfig
@@ -1,8 +1,5 @@
 if BOARD_SAMSUNG_STUMPY
 
-config IGNORE_IASL_MISSING_DEPENDENCY
-	def_bool y
-
 config BOARD_SPECIFIC_OPTIONS
 	def_bool y
 	select BOARD_ROMSIZE_KB_8192
diff --git a/src/superio/smsc/mec1308/acpi/superio.asl b/src/superio/smsc/mec1308/acpi/superio.asl
index f69232377d..117de961db 100644
--- a/src/superio/smsc/mec1308/acpi/superio.asl
+++ b/src/superio/smsc/mec1308/acpi/superio.asl
@@ -101,11 +101,6 @@ Device (SIO) {
 		{
 			IO (Decode16, SIO_SPM1_IO0, SIO_SPM1_IO0, 0x08, 0x08)
 		})
-
-		Name (_PRS, ResourceTemplate ()
-		{
-			IO (Decode16, SIO_SPM1_IO0, SIO_SPM1_IO0, 0x08, 0x08)
-		})
 	}
 #endif
 
@@ -122,11 +117,6 @@ Device (SIO) {
 		{
 			IO (Decode16, SIO_SEC1_IO0, SIO_SEC1_IO0, 0x04, 0x04)
 		})
-
-		Name (_PRS, ResourceTemplate ()
-		{
-			IO (Decode16, SIO_SEC1_IO0, SIO_SEC1_IO0, 0x04, 0x04)
-		})
 	}
 #endif
 
@@ -143,11 +133,6 @@ Device (SIO) {
 		{
 			IO (Decode16, SIO_SEC2_IO0, SIO_SEC2_IO0, 0x04, 0x04)
 		})
-
-		Name (_PRS, ResourceTemplate ()
-		{
-			IO (Decode16, SIO_SEC2_IO0, SIO_SEC2_IO0, 0x04, 0x04)
-		})
 	}
 #endif
 
@@ -165,12 +150,6 @@ Device (SIO) {
 			IO (Decode16, SIO_SSP1_IO0, SIO_SSP1_IO0, 0x08, 0x08)
 			IRQNoFlags () {SIO_SSP1_IRQ}
 		})
-
-		Name (_PRS, ResourceTemplate ()
-		{
-			IO (Decode16, SIO_SSP1_IO0, SIO_SSP1_IO0, 0x08, 0x08)
-			IRQNoFlags () {SIO_SSP1_IRQ}
-		})
 	}
 #endif
 
@@ -190,13 +169,6 @@ Device (SIO) {
 			IO (Decode16, 0x64, 0x64, 0x01, 0x01)
 			IRQNoFlags () {1}
 		})
-
-		Name (_PRS, ResourceTemplate()
-		{
-			IO (Decode16, 0x60, 0x60, 0x01, 0x01)
-			IO (Decode16, 0x64, 0x64, 0x01, 0x01)
-			IRQNoFlags () {1}
-		})
 	}
 #endif
 
@@ -213,11 +185,6 @@ Device (SIO) {
 		{
 			IO (Decode16, SIO_SEC0_IO0, SIO_SEC0_IO0, 0x04, 0x04)
 		})
-
-		Name (_PRS, ResourceTemplate ()
-		{
-			IO (Decode16, SIO_SEC0_IO0, SIO_SEC0_IO0, 0x04, 0x04)
-		})
 	}
 #endif
 
@@ -235,11 +202,6 @@ Device (SIO) {
 		{
 			IO (Decode16, SIO_SMBX_IO0, SIO_SMBX_IO0, 0x01, 0x34)
 		})
-
-		Name (_PRS, ResourceTemplate()
-		{
-			IO (Decode16, SIO_SMBX_IO0, SIO_SMBX_IO0, 0x01, 0x34)
-		})
 	}
 #endif
 }