Nein, daran liegt es nicht:
root@garage:~# df -h
Dateisystem Größe Benutzt Verf. Verw% Eingehängt auf
devtmpfs 1,6G 4,0K 1,6G 1% /dev
/dev/mmcblk0p2 30G 1,6G 28G 6% /
tmpfs 1,9G 0 1,9G 0% /dev/shm
tmpfs 758M 9,4M 749M 2% /run
tmpfs 1,9G 12K 1,9G 1% /tmp
tmpfs 1,9G 8,0K 1,9G 1% /var/volatile
/dev/mmcblk0p2 30G 1,6G 28G 6% /data
/dev/mmcblk0p1 285M 119M 167M 42% /boot
tmpfs 379M 4,0K 379M 1% /run/user/0
Meiner Meinung nach wird in dem Paket der falsche Kernel ausgeliefert.