allow install of raspberrypi-latest kernel