kernel freeze at boot time if CONFIG_PAX_NOEXEC enabled