Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision ada559c5e94ba58f9ea3b263de2877127eba8873)
+++ kernel/genarch/src/acpi/acpi.c	(revision 6e2bf292018603bfc698dec43b84ec2c0ede62f8)
@@ -99,6 +99,8 @@
 static void map_sdt(struct acpi_sdt_header *sdt)
 {
+	page_table_lock(AS_KERNEL, true);
 	page_mapping_insert(AS_KERNEL, (uintptr_t) sdt, (uintptr_t) sdt, PAGE_NOT_CACHEABLE | PAGE_WRITE);
 	map_structure((uintptr_t) sdt, sdt->length);
+	page_table_unlock(AS_KERNEL, true);
 }