# CONFIG_INIT_MLOCKED_ON_FREE_DEFAULT_ON is not set
