move to linux 3.13.5, full package list