[Arm-dev] best kernel for armv7hl ?