Be smarter about finding suitable kernel images and device trees