Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/genarch/src/acpi/acpi.c	(revision 1d432f9b3f6833cb86d4ee1903d5cdc12a99f6aa)
@@ -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);
 }