core/linux-raspberrypi to 3.10.18
alarm/raspberrypi-firmware update to 20131111