G18/MX2: Use Linaro 2013.08 and bump kernel for GCC fixs