Re: [Arm-dev] Thanks for the new armv7hl kernel