core/linux-raspberrypi to 3.12.24-1
core/linux-raspberrypi-latest to 3.15.5-1