Kernel source, published March 2014, for the Amlogic ARM SOCs