linux: Add kernel 3.13