[package] [kernel-osmc] Raspberry Pi expects 'kernel.img' on /boot by default; not a vmlinuz-3.y file