Re: [Arm-dev] armv7hl kernel updates