kernel-rpi: renamed to rpi-kernel to follow platform naming rules.