Elég neki a kernel headers is, ha jól emlékszem. Megpróbáltam visszakeresni a logban nálam, de nincs már benne, hogy pontosan mit telepítettem, "sudo apt-get install raspberrypi-kernel-headers" a kernel headers telepítés, de amúgy van a rpi-source program is [link]. Ha kérdés van, jöhet, még frissek valamennyire az emlékek (tegnap telepítettem)