kernel: really select kernel 4.4.71
authorHauke Mehrtens <hauke@hauke-m.de>
Wed, 7 Jun 2017 20:57:41 +0000 (22:57 +0200)
committerHauke Mehrtens <hauke@hauke-m.de>
Wed, 7 Jun 2017 21:01:35 +0000 (23:01 +0200)
commitb9600b8542dffd05ae9a85b98693dbf85e7f6c42
tree3dcfb663c9456733114acd284f64bd051f0ec1d8
parentf4a4f324cb76ad839ca75c1449ef716d7745daca
kernel: really select kernel 4.4.71

The previous commit f4a4f324cb76ad ("kernel: update kernel 4.4 to
4.4.71") missed the line which changes the kernel version, add it now.

Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
include/kernel-version.mk