ARM Linux kernel 3.13.0 study