# CONFIG_STRICT_KERNEL_RWX is not set
