Define only a default value for OS_REPOSITORY_CONFIG
Don't define KERNEL_VARIANT in config/core/base.