get-rcn-kernel-source: DIST can be set manually or inferred automatically, if possible.