init: 13.10 amd64 also has a different kernel name