kernel-rpi: fix installation (v2).