upgpkg: linux-uksm 3.12.1-3
upgpkg: linux-rt 3.12.1_rt4-1