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