linux: Updated (3.10.12 -> 3.10.13)
linux-src: Updated (3.10.12 -> 3.10.13)
linux-header: Updated (3.10.12 -> 3.10.13)
gcc: changed arm config to use -mtune when cpu specific optimisation is requested