Fix kernel name for Ubuntu 13.04