kernel/include/config/ARCH_HAS_NON_OVERLAPPING_ADDRESS_SPACE