Re: [Arm-dev] best kernel for armv7hl ?