Installing linux-headers-3.13.0.35 during kernel upgrade of 14.04
Partial-Bug: 1399931

Change-Id: If659cdd057491adc51bdd678129db96a7d4e5089