Remove useless device kernel repositories that are a pain to clone.