[Arm-dev] Thanks for the new armv7hl kernel