[Arm-dev] I see new kernel armv7hl in update repo, but

Tue Feb 21 04:26:38 UTC 2017
Robert Moskowitz <rgm at htt-consult.com>

/boot/extlinux/extlinux.conf  still needs to be hand edited.

I will update my howto.