Update to linux 3.4.80