-
* Nachdem der alte kernel entfernt wurde, kann jetzt kernel2 in kernel umbenannt werden. Damit der Kernel weiterhin erfolgreich kompiliert werden kann, wurden außerdem die Buildskripte angepasst, Signed-off-by: Nico Mayer <mayerNico@outlook.de> Signed-off-by: Kevin Wolf <kevin@tyndur.org>
72f66abd