Re: [Arm-dev] kernel-generic vs kernel-rpi2