rpi-kernel: update to upstream git commit a25152fdfb.