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