Comment 11 for bug 1744173

You are correct. The xenial kernel name had a type in it. Sorry about that.