Just giving a warning if kernel was not found, this may happen if coreconfig is used on a non compile SDK