[aml] Update to Linux kernel 3.10.40