Fork of the ARM SoC Linux Kernel tree