Merge #734

734: revise assertion r=stlankes a=stlankes

On aarch64, the memory region below the kernel can be used for dynamic allocation.
Consequently, the assertion should allow this region.

Co-authored-by: Stefan Lankes <slankes@eonerc.rwth-aachen.de>