Check for presence of kernel sources before we check for $LINUX/.config
to avoid confusing (and common) error message that $LINUX/.config could
not be found (normally because kernel is not configured and not because
incorrect path was given to configure).