try to make proof of t14 more robust against kernel name choices

very ugly...