(BIN) 4.1.13-piCore_v7+_.config.xz
 (BIN) 4.1.13-piCore_v7+_Module.symvers.xz
 (BIN) 4.1.13-piCore_v7+_System.map.xz
 (BIN) 4.1.13-piCore_v7+_modules.tar.xz
 (BIN) 4.1.13_RaspberryPi_src.tar.xz
 (BIN) 4.1.20-piCore_v7+_.config.xz
 (BIN) 4.1.20-piCore_v7+_Module.symvers.xz
 (BIN) 4.1.20-piCore_v7+_System.map.xz
 (BIN) 4.1.20-piCore_v7+_modules.tar.xz
 (BIN) 4.1.20_RaspberryPi_src.tar.xz
 (TXT) raspberrypi-kernel-bcm2835-rates.patch