Kernel auf dem #RaspberryPI bauen dauert etwa 10 Stunden. Ich brauche wohl
wieder eine distcc-Umgebung…