Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 2b4ae501f83d0bff7b4149ea52f2491c730114c1)
+++ kernel/generic/src/mm/frame.c	(revision c91fe327a1a12c2bb0984ce41e8a96f1644bcc65)
@@ -1282,5 +1282,8 @@
 bool frame_adjust_zone_bounds(bool low, uintptr_t *basep, size_t *sizep)
 {
-	uintptr_t limit = config.identity_size;
+	// FIXME: This might lead to overflow if the identity_size is too big
+	// but it is necessary if the PA identity_base > identity_size
+	const uintptr_t limit =
+	    KA2PA(config.identity_base) + config.identity_size;
 
 	if (low) {