Das Raspberry-Pi-Projekt hat das Betriebssystem aktualisiert. Neben Fehlerkorrekturen kommen ein neuer Kernel und neue Firmware mit.