Re: [Arm-dev] raspi kernel upgrade activates not the latest kernel version