kernel/include/config/ARCH_HAS_DEBUG_WX