Wechsel Kernel-Verzeichnis auf GitHUB

[steins-ursel]

Hallo!

Neue Kernel für den Raspberry Pi stehen ab sofort in diesem Verzeichnis. Die Commit-Number kann man hier beziehen für ein RPI-Update.
Das alte Verzeichnis wird nicht weiter gepflegt.