diff --git a/src/soc/qualcomm/sc7280/soc.c b/src/soc/qualcomm/sc7280/soc.c
index c0fa32f..96a4d5a 100644
--- a/src/soc/qualcomm/sc7280/soc.c
+++ b/src/soc/qualcomm/sc7280/soc.c
@@ -1,6 +1,5 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
-#include <symbols.h>
 #include <device/device.h>
 #include <soc/mmu.h>
 #include <soc/mmu_common.h>
@@ -16,6 +15,8 @@
                                REGION_SIZE(dram_wlan) / KiB);
 	reserved_ram_resource(dev, 3, (uintptr_t)_dram_wpss / KiB,
                                REGION_SIZE(dram_wpss) / KiB);
+	reserved_ram_resource(dev, 4, (uintptr_t)_dram_aop / KiB,
+				REGION_SIZE(dram_aop) / KiB);
 }
 
 static void soc_init(struct device *dev)