diff --git a/src/core/acpi.c b/src/core/acpi.c
index 19b7082..7551173 100644
--- a/src/core/acpi.c
+++ b/src/core/acpi.c
@@ -259,20 +259,12 @@
  */
 int acpi_sx ( uint32_t signature ) {
 	struct acpi_fadt fadtab;
-	userptr_t rsdt;
 	userptr_t fadt;
 	userptr_t dsdt;
 	userptr_t ssdt;
 	unsigned int i;
 	int sx;
 
-	/* Locate RSDT */
-	rsdt = acpi_find_rsdt();
-	if ( ! rsdt ) {
-		DBG ( "RSDT not found\n" );
-		return -ENOENT;
-	}
-
 	/* Try DSDT first */
 	fadt = acpi_find ( FADT_SIGNATURE, 0 );
 	if ( fadt ) {
@@ -291,8 +283,8 @@
 			return sx;
 	}
 
-	DBGC ( colour, "RSDT %#08lx could not find \\_Sx \"%s\"\n",
-	       user_to_phys ( rsdt, 0 ), acpi_name ( signature ) );
+	DBGC ( colour, "ACPI could not find \\_Sx \"%s\"\n",
+	       acpi_name ( signature ) );
 	return -ENOENT;
 }