core/linux-raspberrypi to 3.10.19
alarm/raspberrypi-firmware update to 20131117