Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision 705ca2bc3e43a3353d68e38f27197c4e17570898)
+++ kernel/genarch/src/acpi/acpi.c	(revision cbf528f4d2569367997fa6fe4d7410c3f4f94699)
@@ -171,9 +171,12 @@
 }
 
+typedef uint64_t _a64_t __attribute__((may_alias));
+
 static uint8_t *search_rsdp(uint8_t *base, size_t len)
 {
+	uint64_t signature = *(_a64_t *) RSDP_SIGNATURE;
+
 	for (size_t i = 0; i < len; i += 16) {
-		if (memcmp(&base[i], RSDP_SIGNATURE, sizeof(RSDP_SIGNATURE)) == 0 &&
-		    rsdp_check(&base[i]))
+		if (*((_a64_t *) &base[i]) == signature && rsdp_check(&base[i]))
 			return &base[i];
 	}