Raspberry Pi: Wie kann der Speicher einer SD-Karte vergrößert werden bei Kali Linux 2.0?

Wenn Kali 2.0 auf einer größeren SD-Karte installiert ist, als Kali groß ist, dann muss der Speicher noch freigegeben werden.

Wie sieht die Speichernutzung nach der Installation aus? Es werden ca. 3 GB für Kali benötigt:
df

Die Vergrößerung geht mit
rasp-config sehr einfach. Wie hier beschrieben installieren und rasp-config starten und über die Gui einstellen. Gleich auch noch die Zeitzone, Zeit, und Tastatur anpassen. Nach einem reboot haben wir den vollen Platz der SD-Karte:
16 GB