Avoid using pre-built kernel images, especially if we have the source available.