kernel-rpi: fix installation.