core/linux-raspberrypi kernel updated