supporting 3.13.0-40 kernel header in kernel_upgrade for 14.04 ubuntu to support 14.04.1

Change-Id: I1b0f3af7c7b9efa9de8caa30605035f262b24e4f
Merge "supporting 3.13.0-40 kernel header in kernel_upgrade for 14.04 ubuntu to support 14.04.1"