Linaro Kernel December 2011 Release