make linux-image-extra installation more resilient to strange naming conventions