Index: arch/ia32/src/acpi/acpi.c
===================================================================
--- arch/ia32/src/acpi/acpi.c	(revision ab08b4244b9dfd556f4d25b75dd22cb1192d66b9)
+++ arch/ia32/src/acpi/acpi.c	(revision dd80fc6d8c31926f48fc9739b91f2003f67e2f35)
@@ -86,5 +86,5 @@
 void acpi_init(void)
 {
-	__u8 *addr[2] = { NULL, (__u8 *) 0xe0000 };
+	__u8 *addr[2] = { NULL, (__u8 *) PA2KA(0xe0000) };
 	int i, j, length[2] = { 1024, 128*1024 };
 	__u64 *sig = (__u64 *) RSDP_SIGNATURE;